1. Samson Abramsky (1993): Computational Interpretations of Linear Logic. Theor. Comput. Sci. 111(1-2), pp. 3–57. Available at
  2. Luís Caires, Jorge A. Pérez, Frank Pfenning & Bernardo Toninho (2013): Behavioral Polymorphism and Parametricity in Session-Based Communication. In: Matthias Felleisen & Philippa Gardner: ESOP, Lecture Notes in Computer Science 7792. Springer, pp. 330–349. Available at
  3. Luís Caires & Frank Pfenning (2010): Session Types as Intuitionistic Linear Propositions. In: Paul Gastin & François Laroussinie: CONCUR, Lecture Notes in Computer Science 6269. Springer, pp. 222–236. Available at
  4. Romain Demangeon & Kohei Honda (2011): Full Abstraction in a Subtyped pi-Calculus with Linear Types. In: Joost-Pieter Katoen & Barbara König: CONCUR, Lecture Notes in Computer Science 6901. Springer, pp. 280–296. Available at
  5. Henry DeYoung, Luís Caires, Frank Pfenning & Bernardo Toninho (2012): Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. In: Patrick Cégielski & Arnaud Durand: CSL, LIPIcs 16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 228–242. Available at
  6. Thomas Ehrhard & Olivier Laurent (2010): Interpreting a finitary pi-calculus in differential interaction nets. Inf. Comput. 208(6), pp. 606–633. Available at
  7. Philippa Gardner, Cosimo Laneve & Lucian Wischik (2007): Linear forwarders. Inf. Comput. 205(10), pp. 1526–1550. Available at
  8. Jean-Yves Girard (1987): Linear Logic. Theor. Comput. Sci. 50, pp. 1–102. Available at
  9. Jean-Yves Girard (1998): Light Linear Logic. Inf. Comput. 143(2), pp. 175–204. Available at
  10. Jean-Yves Girard (2011): The Blind Spot. European Mathematical Society. Available at
  11. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Chris Hankin: ESOP, Lecture Notes in Computer Science 1381. Springer, pp. 122–138. Available at
  12. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: George C. Necula & Philip Wadler: POPL. ACM, pp. 273–284. Available at
  13. Ugo Dal Lago & Paolo Di Giamberardino (2011): Soft Session Types. In: Bas Luttik & Frank Valencia: EXPRESS, EPTCS 64, pp. 59–73. Available at
  14. Cosimo Laneve & Björn Victor (2003): Solos In Concert. Mathematical Structures in Computer Science 13(5), pp. 657–683. Available at
  15. Robin Milner (1992): Functions as Processes. Mathematical Structures in Computer Science 2(2), pp. 119–141. Available at
  16. Dimitris Mostrous (2012): Proof Nets in Process Algebraic Form. Available at
  17. Jorge A. Pérez, Luís Caires, Frank Pfenning & Bernardo Toninho (2012): Linear Logical Relations for Session-Based Concurrency. In: ESOP '12, pp. 539–558. Available at
  18. Benjamin C. Pierce & Davide Sangiorgi (2000): Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM 47(3), pp. 531–584. Available at
  19. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou & Sergios Theodoridis: PARLE, Lecture Notes in Computer Science 817. Springer, pp. 398–413. Available at
  20. Philip Wadler (2014): Propositions as sessions. J. Funct. Program. 24(2-3), pp. 384–418. Available at

Comments and questions to:
For website issues: