Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler, The Call-by-Need Lambda Calculus, proceedings of POPL'95, pp.233-246, 1995.

L. Bettini, M. Coppo, L. D. Antoni, M. D. Luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, proceedings of CONCUR'08, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33
URL : http://www.doc.ic.ac.uk/~yoshida/multiparty/progress_short.pdf

A. Cave, F. Ferreira, P. Panangaden, and B. Pientka, Fair reactive programming, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.361-372, 2014.
DOI : 10.1145/2535838.2535881
URL : http://www.cs.mcgill.ca/~prakash/Pubs/fair-reactive.pdf

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02, pp.238-302, 2016.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034

T. Coquand, Infinite objects in type theory, proceedings of TYPES'93, pp.62-78, 1993.
DOI : 10.1007/3-540-58085-9_72
URL : http://www.tcs.informatik.uni-muenchen.de/~alti/ALF/coquand:inf.ps.Z

B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983.
DOI : 10.1016/0304-3975(83)90059-2
URL : https://doi.org/10.1016/0304-3975(83)90059-2

L. Cruz-filipe, I. Lanese, F. Martins, A. Ravara, and V. Vasconcelos, The stream-based service-centred calculus: a foundation for service-oriented programming, Formal Aspects of Computing, vol.368, issue.1???2, pp.865-918, 2014.
DOI : 10.1016/j.tcs.2006.06.028

P. Deniélou and N. Yoshida, Dynamic Multirole Session Types, proceedings of POPL'11, pp.435-446, 2011.

M. Dezani-ciancaglini and U. De-'liguoro, Sessions and Session Types: An Overview, proceedings of WS-FM'09, pp.1-28, 2009.
DOI : 10.1007/978-3-642-14458-5_1
URL : http://www.di.unito.it/%7Edezani/papers/sto.pdf

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

S. J. Gay and V. T. Vasconcelos, Linear type theory for asynchronous session types, Journal of Functional Programming, vol.73, issue.01, pp.19-50, 2010.
DOI : 10.1006/inco.1994.1093

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, proceedings of ESOP'98, pp.122-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://www.di.fc.ul.pt/~vv/papers/yoshida.vasconcelos_language-primitives-revisited.pdf

J. Hughes, Why Functional Programming Matters, The Computer Journal, vol.32, issue.2, pp.98-107, 1989.
DOI : 10.1093/comjnl/32.2.98
URL : https://academic.oup.com/comjnl/article-pdf/32/2/98/1445644/320098.pdf

N. Krishnaswami and N. Benton, Ultrametric Semantics of Reactive Programs, 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp.257-266, 2011.
DOI : 10.1109/LICS.2011.38
URL : http://research.microsoft.com/en-us/people/nick/frpultra11.pdf

N. R. Krishnaswami, N. Benton, and J. Hoffmann, Higher-order functional reactive programming in bounded space, proceedings of POPL'12, pp.45-58, 2012.
DOI : 10.1145/2103656.2103665

S. Lindley and J. G. Morris, A Semantics for Propositions as Sessions, LNCS, vol.15, issue.9032, pp.560-584, 2015.
DOI : 10.1007/978-3-662-46669-8_23
URL : http://homepages.inf.ed.ac.uk/slindley/papers/gv-semantics.pdf

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, 2012.
DOI : 10.1007/978-1-4612-0931-7

J. Maraist, M. Odersky, and P. Wadler, The call-by-need lambda calculus, Journal of Functional Programming, vol.8, issue.3, pp.275-317, 1998.
DOI : 10.1017/S0956796898003037

H. Nakano, A modality for recursion, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), pp.255-266, 2000.
DOI : 10.1109/LICS.2000.855774

L. Padovani, Deadlock and lock freedom in the linear ??-calculus, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, pp.1-7210, 2014.
DOI : 10.1145/2603088.2603116
URL : https://hal.archives-ouvertes.fr/hal-00932356

S. and P. Jones, Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions , and Foreign-language Calls in Haskell, Engineering Theories of Software Construction, pp.47-96, 2001.

S. , P. Jones, A. Gordon, and S. Finne, Concurrent Haskell

S. , P. Jones, and P. Wadler, Imperative Functional Programming, proceedings of POPL'93, pp.71-84, 1993.

B. C. Pierce, Types and Programming Languages, 2002.

D. Sabel and M. Schmidt-schauß, A contextual semantics for concurrent Haskell with futures, Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, PPDP '11, pp.101-112, 2011.
DOI : 10.1145/2003476.2003492
URL : http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-44.pdf

P. Severi and F. Vries, Pure Type Systems with Corecursion on Streams: from Finite to Infinitary Normalisation, proceedings of ICFP'12, pp.141-152, 2012.
DOI : 10.1145/2398856.2364550

P. Severi, L. Padovani, E. Tuosto, and M. Dezani-ciancaglini, On sessions and infinite data Available at https, 2016.
DOI : 10.1007/978-3-319-39519-7_15
URL : http://arxiv.org/pdf/1610.06362

B. Toninho, L. Caires, and F. Pfenning, Corecursion and Non-divergence in Session-Typed Processes, proceedings of TGC'14, pp.159-175, 2014.
DOI : 10.1007/978-3-662-45917-1_11

V. T. Vasconcelos, Fundamentals of session types, Information and Computation, vol.217, pp.52-70, 2012.
DOI : 10.1016/j.ic.2012.05.002
URL : http://www.di.fc.ul.pt/~vv/papers/vasconcelos_fundamental-sessions.pdf

C. P. Wadsworth, Semantics and Pragmatics of the Lambda Calculus, 1971.