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