@article(abramsky1993computational,
 author       = "S. Abramsky",
 year         = "1993",
 title        = "Computational Interpretations of Linear Logic",
 journal      = "Theo. Comp. Sci.",
 volume       = "111",
 number       = "1-2",
 pages        = "3--57",
 doi          = "10.1016/0304-3975(93)90181-R",
)
@inproceedings(asai2007,
 author       = "K. Asai and Y. Kameyama",
 year         = "2007",
 title        = "Polymorphic Delimited Continuations",
 booktitle    = "APLAS~'07",
 series       = "LNCS",
 volume       = "4807",
 publisher    = "Springer",
 pages        = "239--254",
 doi          = "10.1007/978-3-540-76637-7_16",
)
@article(avron91,
 author       = "A. Avron",
 year         = "1991",
 title        = "Hypersequents, logical consequence and intermediate logics for concurrency",
 journal      = "Ann. Math. Artif. Intell.",
 volume       = "4",
 pages        = "225--248",
 doi          = "10.1007/BF01531058",
)
@incollection(avrontableau,
 author       = "A. Avron",
 year         = "2000",
 title        = "A Tableau System for {G}\"odel--{D}ummett Logic Based on a Hypersequent Calculus",
 booktitle    = "TABLEAUX '00",
 series       = "LNCS",
 volume       = "1847",
 publisher    = "Springer",
 pages        = "98--111",
 doi          = "10.1007/10722086_11",
)
@article(Baaz01122003,
 author       = "M. Baaz and A. Ciabattoni and C. G. Ferm\"{u}ller",
 year         = "2003",
 title        = "Hypersequent Calculi for {G}\"odel Logics--a Survey",
 journal      = "Journal of Logic and Computation",
 volume       = "13",
 number       = "6",
 pages        = "835--861",
 doi          = "10.1093/logcom/13.6.835",
)
@article(mumall,
 author       = "D. Baelde",
 year         = "2012",
 title        = "Least and Greatest Fixed Points in Linear Logic",
 journal      = "ACM Trans. Comput. Logic",
 volume       = "13",
 number       = "1",
 pages        = "2:1--2:44",
 doi          = "10.1145/2071368.2071370",
)
@article(sync-multi-session,
 author       = "A. Bejleri and N. Yoshida",
 year         = "2009",
 title        = "Synchronous Multiparty Session Types",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "241",
 number       = "0",
 pages        = "3--33",
 doi          = "10.1016/j.entcs.2009.06.002",
)
@article(blute2004category,
 author       = "R. Blute and P. Scott",
 year         = "2004",
 title        = "Category Theory for Linear Logicians",
 journal      = "Linear Logic in Computer Science",
 volume       = "316",
 pages        = "3--65",
 doi          = "10.1017/CBO9780511550850.002",
)
@incollection(pfenning2010,
 author       = "L. Caires and F. Pfenning",
 year         = "2010",
 title        = "Session Types as Intuitionistic Linear Propositions",
 editor       = "P. Gastin and F. Laroussinie",
 booktitle    = "CONCUR~2010",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-15375-4_16",
)
@incollection(casari1989,
 author       = "E. Casari",
 year         = "1989",
 title        = "Comparative Logics and {A}belian {$l$}-groups",
 editor       = "R. Ferro and C. Bonotto and S. Valentini and A. Zanardo",
 booktitle    = "Logic Colloquium '88",
 series       = "Studies in logic and the foundations of mathematics",
 volume       = "127",
 publisher    = "North-Holland",
 pages        = "161--190",
 doi          = "10.1016/S0049-237X(08)70269-6",
)
@inproceedings(expanding,
 author       = "A. Ciabattoni and L. Stra{\ss }burger and K. Terui",
 year         = "2009",
 title        = "Expanding the Realm of Systematic Proof Theory",
 booktitle    = "CSL",
 pages        = "163--178",
 doi          = "10.1007/978-3-642-04027-6_14",
)
@inproceedings(danvy1990,
 author       = "O. Danvy and A. Filinski",
 year         = "1990",
 title        = "Abstracting control",
 booktitle    = "Proceedings of the 1990 ACM conference on LISP and functional programming",
 series       = "LFP '90",
 publisher    = "ACM",
 pages        = "151--160",
 doi          = "10.1145/91556.91622",
)
@book(residuated,
 author       = "N. Galatos and P. Jipsen and T. Kowalski and H. Ono",
 year         = "2007",
 title        = "Residuated Lattices: An Algebraic Glimpse at Substructural Logics",
 edition      = "1st",
 series       = "Studies in Logic and The Foundations of Mathematics",
 volume       = "151",
 publisher    = "Elsevier",
)
@incollection(giunti2010,
 author       = "M. Giunti and V. T. Vasconcelos",
 year         = "2010",
 title        = "A Linear Account of Session Types in the Pi Calculus",
 booktitle    = "CONCUR~2010",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "432--446",
 doi          = "10.1007/978-3-642-15375-4_30",
)
@incollection(hiraiflops2012,
 author       = "Y. Hirai",
 year         = "2012",
 title        = "A Lambda Calculus for {G\"{o}del-Dummett} Logic Capturing Waitfreedom",
 editor       = "T. Schrijvers and P. Thiemann",
 booktitle    = "Functional and Logic Programming",
 series       = "LNCS",
 volume       = "7294",
 publisher    = "Springer",
 pages        = "151--165",
 doi          = "10.1007/978-3-642-29822-6_14",
)
@phdthesis(hirai-thesis,
 author       = "Y. Hirai",
 year         = "2013",
 title        = "Hyper-Lambda Calculi",
 school       = "Univ. of Tokyo",
)
@incollection(honda-session,
 author       = "K. Honda",
 year         = "1993",
 title        = "Types for Dyadic Interaction",
 booktitle    = "CONCUR~'93",
 series       = "LNCS",
 volume       = "715",
 publisher    = "Springer",
 pages        = "509--523",
 doi          = "10.1007/3-540-57208-2_35",
)
@inproceedings(async-multi-session,
 author       = "K. Honda and N. Yoshida and M. Carbone",
 year         = "2008",
 title        = "Multiparty Asynchronous Session Types",
 booktitle    = "POPL '08",
 series       = "POPL '08",
 publisher    = "ACM",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(DBLP:journals/corr/abs-1110-4163,
 author       = "K. Imai and S. Yuen and K. Agusa",
 year         = "2010",
 title        = "Session Type Inference in {H}askell",
 booktitle    = "PLACES",
 pages        = "74--91",
 doi          = "10.4204/EPTCS.69.6",
)
@article(kobayashi-pierce-turner,
 author       = "N. Kobayashi and B. C. Pierce and D. N. Turner",
 year         = "1999",
 title        = "Linearity and the pi-calculus",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "21",
 number       = "5",
 pages        = "914--947",
 doi          = "10.1145/237721.237804",
)
@incollection(kobayashi-yonezawa,
 author       = "N. Kobayashi and A. Yonezawa",
 year         = "1995",
 title        = "Higher-Order Concurrent Linear Logic Programming",
 booktitle    = "Theory and Practice of Parallel Programming",
 series       = "LNCS",
 volume       = "907",
 publisher    = "Springer",
 pages        = "137--166",
 doi          = "10.1007/BFb0026568",
)
@techreport(lamarche2008,
 author       = "F. Lamarche",
 year         = "2008",
 title        = "Proof Nets for Intuitionistic Linear Logic: essential nets",
 type         = "Technical Report",
 institution  = "Loria \& INRIA-Lorraine",
)
@article(marlow2010haskell,
 author       = "S. Marlow",
 year         = "2010",
 title        = "Haskell 2010 Language Report",
 journal      = "Available online http://www.haskell.org/onlinereport/haskell2010",
)
@article(metcalfe2006,
 author       = "G. Metcalfe",
 year         = "2006",
 title        = "Proof Theory for {C}asari's Comparative Logics",
 journal      = "Journal of Logic and Computation",
 volume       = "16",
 number       = "4",
 pages        = "405--422",
 doi          = "10.1093/logcom/exl001",
)
@incollection(metcalfe2002,
 author       = "G. Metcalfe and N. Olivetti and D. Gabbay",
 year         = "2002",
 title        = "Analytic Sequent Calculi for {A}belian and {{\L }}ukasiewicz Logics",
 editor       = "U. Egly and C. Ferm\"{u}ller",
 booktitle    = "TABLEAUX 2002",
 series       = "LNCS",
 volume       = "2381",
 publisher    = "Springer",
 pages        = "191--205",
 doi          = "10.1007/3-540-45616-3_14",
)
@incollection(meyer-slaney-1989,
 author       = "R. K. Meyer and J. K. Slaney",
 year         = "1989",
 title        = "Abelian Logic (from {A} to {Z})",
 editor       = "G. Priest and R. Richard and J. Norman",
 booktitle    = "Paraconsistent Logic: Essays on the Inconsistent",
 chapter      = "IX",
 publisher    = "Philosophia Verlag",
 pages        = "245--288",
)
@article(milner1978,
 author       = "R. Milner",
 year         = "1978",
 title        = "A Theory of Type Polymorphism in Programming",
 journal      = "Journal of Computer and System Sciences",
 volume       = "17",
 number       = "3",
 pages        = "348--375",
 doi          = "10.1016/0022-0000(78)90014-4",
)
@book(milner1999communicating,
 author       = "R. Milner",
 year         = "1999",
 title        = "Communicating and Mobile Systems: the pi-calculus",
 publisher    = "Cambridge University Press",
)
@book(milner1997definition,
 author       = "R. Milner and M. Tofte and R. Harper and D. MacQueen",
 year         = "1997",
 title        = "The definition of Standard {ML}",
 publisher    = "MIT press",
)
@article(murawski2003,
 author       = "A. S. Murawski and C. H. L. Ong",
 year         = "2003",
 title        = "Exhausting Strategies, Joker Games and Full Completeness for {IMLL} with Unit",
 journal      = "Theoretical Computer Science",
 volume       = "294",
 number       = "1-2",
 pages        = "269--305",
 doi          = "10.1016/S0304-3975(01)00244-4",
)
@article(rees1986,
 author       = "J. Rees and W. Clinger",
 year         = "1986",
 title        = "Revised Report on the Algorithmic Language {S}cheme",
 journal      = "SIGPLAN Not.",
 volume       = "21",
 number       = "12",
 pages        = "37--79",
 doi          = "10.1145/15042.15043",
)
@unpublished(shirahata,
 author       = "M. Shirahata",
 title        = "A Sequent Calculus for Compact Closed Categories",
)
@article(interaction,
 author       = "K. Takeuchi and K. Honda and M. Kubo",
 title        = "An Interaction-Based Language and its Typing System",
 journal      = "PARLE'94 Parallel Architectures and Languages Europe",
 pages        = "398--413",
 doi          = "10.1007/3-540-58184-7_118",
)
@incollection(revcon,
 author       = "T. Toffoli",
 year         = "1980",
 title        = "Reversible Computing",
 editor       = "J. Bakker and J. Leeuwen",
 booktitle    = "Automata, Languages and Programming",
 series       = "LNCS",
 volume       = "85",
 publisher    = "Springer",
 pages        = "632--644",
 doi          = "10.1007/3-540-10003-2_104",
)
@inproceedings(wadler2012propositions,
 author       = "P. 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/2398856.2364568",
)