@mastersthesis(Acay16,
 author       = {Co\c{s}ku Acay},
 year         = {2016},
 title        = {Refinements for Session Typed Concurrency},
 type         = {Undergraduate honors thesis},
 school       = {Carnegie Mellon University},
 url          = {http://www.coskuacay.com/papers/senior-thesis.pdf},
)
@inproceedings(AmadioC91,
 author       = {Roberto M. Amadio and Luca Cardelli},
 year         = {1991},
 title        = {Subtyping Recursive Types},
 booktitle    = {{POPL}},
 publisher    = {{ACM} Press},
 pages        = {104--118},
 doi          = {10.1145/99583.99600},
)
@article(Barbanera95ic,
 author       = {Franco Barbanera and Dezani{-}Ciancaglini, Mariangiola and Ugo de'Liguoro},
 year         = {1995},
 title        = {Intersection and Union Types: Syntax and Semantics},
 journal      = {Inf. Comput.},
 volume       = {119},
 number       = {2},
 pages        = {202--230},
 doi          = {10.1006/inco.1995.1086},
)
@inproceedings(CairesPPT13,
 author       = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Frank Pfenning and Bernardo Toninho},
 year         = {2013},
 title        = {Behavioral Polymorphism and Parametricity in Session-Based Communication},
 booktitle    = {{ESOP}},
 series       = {Lecture Notes in Computer Science},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {330--349},
 doi          = {10.1007/978-3-642-37036-6\_19},
)
@inproceedings(CairesP10,
 author       = {Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2010},
 title        = {Session Types as Intuitionistic Linear Propositions},
 booktitle    = {{CONCUR}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4\_16},
)
@inproceedings(CastagnaDGP09,
 author       = {Giuseppe Castagna and Dezani{-}Ciancaglini, Mariangiola and Elena Giachino and Luca Padovani},
 year         = {2009},
 title        = {Foundations of session types},
 booktitle    = {{PPDP}},
 publisher    = {{ACM}},
 pages        = {219--230},
 doi          = {10.1145/1599410.1599437},
)
@article(CervesatoS09,
 author       = {Iliano Cervesato and Andre Scedrov},
 year         = {2009},
 title        = {Relating state-based and process-based concurrency through linear logic (full-version)},
 journal      = {Inf. Comput.},
 volume       = {207},
 number       = {10},
 pages        = {1044--1077},
 doi          = {10.1016/j.ic.2008.11.006},
)
@inproceedings(NicolaH87,
 author       = {{De Nicola}, Rocco and Matthew Hennessy},
 year         = {1987},
 title        = {{CCS} without tau's},
 booktitle    = {TAPSOFT, Vol.1},
 series       = {Lecture Notes in Computer Science},
 volume       = {249},
 publisher    = {Springer},
 pages        = {138--152},
 doi          = {10.1007/3-540-17660-8\_53},
)
@inproceedings(DeYoungCPT12,
 author       = {Henry DeYoung and Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2012},
 title        = {Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication},
 booktitle    = {{CSL}},
 series       = {LIPIcs},
 volume       = {16},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {228--242},
 doi          = {10.4230/LIPIcs.CSL.2012.228},
)
@inproceedings(Dunfield03,
 author       = {Joshua Dunfield and Frank Pfenning},
 year         = {2003},
 title        = {Type Assignment for Intersections and Unions in Call-by-Value Languages},
 booktitle    = {FoSSaCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {2620},
 publisher    = {Springer},
 pages        = {250--266},
 doi          = {10.1007/3-540-36576-1\_16},
)
@inproceedings(DunfieldP04,
 author       = {Joshua Dunfield and Frank Pfenning},
 year         = {2004},
 title        = {Tridirectional typechecking},
 booktitle    = {{POPL}},
 publisher    = {{ACM}},
 pages        = {281--292},
 doi          = {10.1145/964001.964025},
)
@inproceedings(FreemanP91,
 author       = {Timothy S. Freeman and Frank Pfenning},
 year         = {1991},
 title        = {Refinement Types for {ML}},
 booktitle    = {{PLDI}},
 publisher    = {{ACM}},
 pages        = {268--277},
 doi          = {10.1145/113445.113468},
)
@article(GayH05,
 author       = {Simon J. Gay and Malcolm Hole},
 year         = {2005},
 title        = {Subtyping for session types in the pi calculus},
 journal      = {Acta Inf.},
 volume       = {42},
 number       = {2-3},
 pages        = {191--225},
 doi          = {10.1007/s00236-005-0177-z},
)
@article(Gentzen35,
 author       = {Gerhard Gentzen},
 year         = {1935},
 title        = {Untersuchungen {\"u}ber das Logische {S}chlie{\ss}en},
 journal      = {Mathematische Zeitschrift},
 volume       = {39},
 pages        = {176--210, 405--431},
 doi          = {10.1007/BF01201353},
 note         = {English translation in M.~E. Szabo, editor, {\em The Collected Papers of Gerhard Gentzen}, pages 68--131, North-Holland, 1969},
)
@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},
)
@phdthesis(Griffith16phd,
 author       = {Dennis Griffith},
 year         = {2016},
 title        = {Polarized Substructural Session Types},
 school       = {University of Illinois at Urbana-Champaign},
 note         = {In preparation},
)
@inproceedings(Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {{CONCUR}},
 series       = {Lecture Notes in Computer Science},
 volume       = {715},
 publisher    = {Springer},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(Padovani10,
 author       = {Luca Padovani},
 year         = {2010},
 title        = {Session Types = Intersection Types + Union Types},
 booktitle    = {{ITRS}},
 series       = {{EPTCS}},
 volume       = {45},
 pages        = {71--89},
 doi          = {10.4204/EPTCS.45.6},
)
@inproceedings(PfenningG15,
 author       = {Frank Pfenning and Dennis Griffith},
 year         = {2015},
 title        = {Polarized Substructural Session Types},
 booktitle    = {FoSSaCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {9034},
 publisher    = {Springer},
 pages        = {3--22},
 doi          = {10.1007/978-3-662-46678-0\_1},
)
@phdthesis(Simmons12,
 author       = {Robert J. Simmons},
 year         = {2012},
 title        = {Substructural Logical Specifications},
 school       = {Carnegie Mellon University},
)
@unpublished(Stone05un,
 author       = {Christopher A. Stone and Andrew P. Schoonmaker},
 year         = {2005},
 title        = {Equational Theories with Recursive Types},
 note         = {Unpublished Manuscript},
)
@inproceedings(ToninhoCP13,
 author       = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2013},
 title        = {Higher-Order Processes, Functions, and Sessions: {A} Monadic Integration},
 booktitle    = {{ESOP}},
 series       = {Lecture Notes in Computer Science},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {350--369},
 doi          = {10.1007/978-3-642-37036-6\_20},
)