Samson Abramsky
1994
Proofs As Processes
MFPS '92
Elsevier
5–9
10.1016/0304-3975(94)00103-0
Gianluigi Bellin
Philip J. Scott
1994
On the π-Calculus and Linear Logic
Theoretical Computer Science
135
1
11–65
10.1016/0304-3975(94)00104-9
Luís Caires
Frank Pfenning
2010
Session Types as Intuitionistic Linear Propositions
International Conference on Concurrency Theory
CONCUR '10
222–236
10.1007/978-3-642-15375-4_16
Ornela Dardha
Elena Giachino
Davide Sangiorgi
2012
Session types revisited
PPDP
139–150
10.1145/2370776.2370794
Matthias Felleisen
1991
On the Expressive Power of Programming Languages
Sci. Comput. Program.
17
1–3
35–75
10.1016/0167-6423(91)90036-W
Simon J. Gay
Vasco T. Vasconcelos
2010
Linear type theory for asynchronous session types
Journal of Functional Programming
20
01
19–50
10.1017/S0956796809990268
Jean-Yves Girard
1987
Linear logic
Theoretical Computer Science
50
1
1–101
10.1016/0304-3975(87)90045-4
Philip Wadler
2012
Propositions As Sessions
Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming
ICFP '12
ACM
273–286
10.1145/2364527.2364568