@inproceedings(Caires10,
 author       = "Lu\'{\i }s Caires and Frank Pfenning",
 year         = "2010",
 title        = "Session Types as Intuitionistic Linear Propositions",
 booktitle    = "CONCUR 2010",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-15375-4\_16",
)
@inproceedings(Caires11,
 author       = "Lu\'{\i }s Caires and Bernardo Toninho and Frank Pfenning",
 year         = "2011",
 title        = "Dependent Session Types via Intuitionistic Linear Type Theory",
 booktitle    = "PPDP 2011",
 publisher    = "ACM Press",
 note         = "To appear.",
)
@article(DalLago06,
 author       = "Ugo Dal Lago and Patrick Baillot",
 year         = "2006",
 title        = "On light logics, uniform encodings and polynomial time",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "4",
 pages        = "713--733",
 doi          = "10.1017/S0960129506005421",
)
@unpublished(DalLagoDiGiambe2011ev,
 author       = "Ugo Dal Lago and Paolo Di Giamberardino",
 title        = "Soft Session Types (Long Version)",
 note         = "Available at \burl {http://arxiv.org/abs/1107.4478}",
)
@inproceedings(DalLago10b,
 author       = "Ugo Dal Lago and Simone Martini and Davide Sangiorgi",
 year         = "2010",
 title        = "Light Logics and Higher-Order Processes",
 booktitle    = "EXPRESS'10",
 series       = "EPTCS",
 volume       = "41",
 pages        = "46--60",
 doi          = "10.4204/EPTCS.41.4",
)
@article(DalLago10a,
 author       = "Ugo Dal Lago and Andrea Masini and Margherita Zorzi",
 year         = "2010",
 title        = "Quantum implicit computational complexity",
 journal      = "Theor. Comput. Sci.",
 volume       = "411",
 number       = "2",
 pages        = "377--409",
 doi          = "10.1016/j.tcs.2009.07.045",
)
@article(Girard87,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "50",
 pages        = "1--102",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@inproceedings(Honda98,
 author       = "Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "1381",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(Honda08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL 2008",
 publisher    = "ACM Press",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@article(Lafont04,
 author       = "Yves Lafont",
 year         = "2004",
 title        = "Soft linear logic and polynomial time",
 journal      = "Theor. Comput. Sci.",
 volume       = "318",
 number       = "1-2",
 pages        = "163--180",
 doi          = "10.1016/j.tcs.2003.10.018",
)
@article(Mairson92,
 author       = "Harry G. Mairson",
 year         = "1992",
 title        = "A Simple Proof of a Theorem of Statman",
 journal      = "Theor. Comput. Sci.",
 volume       = "103",
 number       = "2",
 pages        = "387--394",
 doi          = "10.1016/0304-3975(92)90020-G",
)
@inproceedings(Mostrous07,
 author       = "Dimitris Mostrous and Nobuko Yoshida",
 year         = "2007",
 title        = "Two Session Typing Systems for Higher-Order Mobile Processes",
 booktitle    = "TLCA 2007",
 series       = "LNCS",
 volume       = "4583",
 pages        = "321--335",
 doi          = "10.1007/978-3-540-73228-0\_23",
)
@article(Statman79,
 author       = "Richard Statman",
 year         = "1979",
 title        = "The Typed lambda-Calculus is not Elementary Recursive",
 journal      = "Theor. Comput. Sci.",
 volume       = "9",
 pages        = "73--81",
 doi          = "10.1016/0304-3975(79)90007-0",
)