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