@inproceedings(lics2017,
 author       = {F. Aschieri and A. Ciabattoni and F.A. Genco},
 year         = {2017},
 title        = {G{\"{o}}del logic: From natural deduction to parallel computation},
 booktitle    = {{LICS} 2017},
 pages        = {1--12},
 doi          = {10.1109/LICS.2017.8005076},
)
@book(Barendregt,
 author       = {H.P. Barendregt},
 year         = {1984},
 title        = {The Lambda Calculus, its Syntax and Semantics},
 publisher    = {Amsterdam: North-Holland},
 doi          = {10.1016/c2009-0-14341-6},
)
@inproceedings(Boudol89,
 author       = {G. Boudol},
 year         = {1989},
 title        = {Towards a lambda-calculus for concurrent and communicating systems},
 booktitle    = {{TAPSOFT} 1998},
 pages        = {149--161},
 doi          = {10.1007/3-540-50939-9\_130},
)
@inproceedings(Herbelin,
 author       = {P.-L. Curien and H. Herbelin},
 year         = {2000},
 title        = {The duality of computation},
 booktitle    = {{ICFP} 2000},
 pages        = {233--243},
 doi          = {10.1145/351240.351262},
)
@article(DanosKrivine,
 author       = {V. Danos and J.-L. Krivine},
 year         = {2000},
 title        = {Disjunctive Tautologies as Synchronisation Schemes},
 journal      = {{CSL 2000}},
 pages        = {292--301},
 doi          = {10.1007/3-540-44622-2\_19},
)
@inproceedings(EM,
 author       = {C. Ene and T. Muntean},
 year         = {1999},
 title        = {Expressiveness of point-to-point versus broadcast communications},
 booktitle    = {FCT 1999},
 pages        = {258--268},
 doi          = {10.1007/3-540-48321-7\_21},
)
@inproceedings(EBPJ2011,
 author       = {J. Epstein and A.P. Black and S.L. Peyton Jones},
 year         = {2011},
 title        = {Towards Haskell in the cloud},
 booktitle    = {ACM Haskell Symposium 2011},
 pages        = {118--129},
 doi          = {10.1145/2034675.2034690},
)
@article(Fuggetta,
 author       = {A. Fuggetta and G.P. Picco and G. Vigna},
 year         = {1998},
 title        = {Understanding Code Mobility},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {24},
 number       = {5},
 pages        = {342--361},
 doi          = {10.1109/32.685258},
)
@book(Girard,
 author       = {J.-Y. Girard and Y. Lafont and P. Taylor},
 year         = {1989},
 title        = {Proofs and Types},
 publisher    = {Cambridge University Press},
 url          = {http://www.paultaylor.eu/stable/prot.pdf},
)
@inproceedings(Griffin,
 author       = {T.G. Griffin},
 year         = {1990},
 title        = {A Formulae-as-Type Notion of Control},
 booktitle    = {{POPL 1990}},
 pages        = {47--58},
 doi          = {10.1145/96709.96714},
)
@inproceedings(deGrooteex,
 author       = {P. de Groote},
 year         = {1995},
 title        = {A Simple Calculus of Exception Handling},
 booktitle    = {{TLCA 1995}},
 pages        = {201--215},
 doi          = {10.1007/BFb0014054},
)
@inproceedings(HT,
 author       = {K. Honda and M. Tokoro},
 year         = {1991},
 title        = {An Object Calculus for Asynchronous Communication},
 booktitle    = {{ECOOP} 1991},
 pages        = {133--147},
 doi          = {10.1007/BFb0057019},
)
@inproceedings(Howard,
 author       = {W.A. Howard},
 year         = {1980},
 title        = {The formulae-as-types notion of construction},
 booktitle    = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism},
 publisher    = {Academic Press},
 pages        = {479--491},
)
@incollection(Krivine1,
 author       = {J.-L. Krivine},
 year         = {1990},
 title        = {Lambda-calcul types et mod\`eles},
 booktitle    = {Studies in Logic and Foundations of Mathematics},
 publisher    = {Masson},
 pages        = {1--176},
)
@article(Krivine,
 author       = {J.-L. Krivine},
 year         = {2009},
 title        = {Realizability in classical logic},
 journal      = {Panoramas et synth\`eses},
 pages        = {197--229},
 url          = {https://hal.archives-ouvertes.fr/hal-00154500},
)
@article(Milner,
 author       = {R. Milner},
 year         = {1992},
 title        = {Functions as Processes},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {2},
 pages        = {119--141},
 doi          = {10.1017/S0960129500001407},
)
@article(Parigot,
 author       = {M. Parigot},
 year         = {1997},
 title        = {Proofs of Strong Normalization for Second-Order Classical Natural Deduction},
 journal      = {J.\ Symbolic Logic},
 volume       = {62},
 number       = {4},
 pages        = {1461--1479},
 doi          = {10.2307/2275652},
)
@inproceedings(Prawitz,
 author       = {D. Prawitz},
 year         = {1971},
 title        = {Ideas and Results in Proof Theory},
 booktitle    = {Proceedings of the Second Scandinavian Logic Symposium},
 pages        = {235--307},
 doi          = {10.2307/2271904},
)
@book(sangiorgiwalker2003,
 author       = {D. Sangiorgi and D. Walker},
 year         = {2003},
 title        = {The pi-calculus: a Theory of Mobile Processes},
 publisher    = {Cambridge University Press},
)
@book(Sorensen,
 author       = {S{\o}rensen, M.H.B. and P. Urzyczyn},
 year         = {1998},
 title        = {Lectures on the Curry-Howard Isomorphism},
 publisher    = {Elsevier},
 doi          = {10.1016/s0049-237x(06)80005-4},
)
@inproceedings(TCP2013,
 author       = {B. Toninho and L. Caires and F. Pfenning},
 year         = {2013},
 title        = {Higher-Order processes, functions, and sessions: a monadic integration},
 booktitle    = {{ESOP} 2013},
 pages        = {350--369},
 doi          = {10.1007/978-3-642-37036-6_20},
)
@article(WadlerSQ,
 author       = {P. Wadler},
 year         = {2003},
 title        = {Call-by-value is dual to call-by-name},
 journal      = {{SIGPLAN} Notices},
 volume       = {38},
 number       = {9},
 pages        = {189--201},
 doi          = {10.1145/944746.944723},
)
@article(Wadler2012,
 author       = {P. Wadler},
 year         = {2012},
 title        = {Propositions as Sessions},
 journal      = {J. of Functional Programming},
 volume       = {24},
 pages        = {384--418},
 doi          = {10.1145/2398856.2364568},
)
@article(Wadler,
 author       = {P. Wadler},
 year         = {2015},
 title        = {Propositions as Types},
 journal      = {Communications of the ACM},
 volume       = {58},
 number       = {12},
 pages        = {75--84},
 doi          = {10.1145/2699407},
)