@inproceedings(Balzer17icfp,
 author       = {Stephanie Balzer and Frank Pfenning},
 year         = {2017},
 title        = {Manifest Sharing with Session Types},
 booktitle    = {International Conference on Functional Programming (ICFP)},
 publisher    = {ACM},
 pages        = {37:1--37:29},
 doi          = {10.1145/3110281},
)
@inproceedings(Benton94csl,
 author       = {Nick Benton},
 year         = {1994},
 title        = {A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models},
 editor       = {Leszek Pacholski and Jerzy Tiuryn},
 booktitle    = {Selected Papers from the 8th International Workshop on Computer Science Logic (CLS'94)},
 publisher    = {Springer LNCS 933},
 address      = {Kazimierz, Poland},
 pages        = {121--135},
 doi          = {10.1007/BFb0022251},
 note         = {An extended version appears as Technical Report UCAM-CL-TR-352, University of Cambridge},
)
@inproceedings(Caires2017linearity,
 author       = {Lu{\'\i}s Caires and Jorge A P{\'e}rez},
 year         = {2017},
 title        = {Linearity, control effects, and behavioral types},
 booktitle    = {European Symposium on Programming},
 organization = {Springer},
 pages        = {229--259},
 doi          = {10.1007/978-3-662-54434-1_9},
)
@inproceedings(Caires10concur,
 author       = {Lu{\'\i}s Caires and Frank Pfenning},
 year         = {2010},
 title        = {Session Types as Intuitionistic Linear Propositions},
 booktitle    = {Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010)},
 publisher    = {Springer LNCS 6269},
 address      = {Paris, France},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4_16},
)
@article(Caires16mscs,
 author       = {Lu{\'\i}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2016},
 title        = {Linear Logic Propositions as Session Types},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {3},
 pages        = {367--423},
 doi          = {10.1016/j.tcs.2010.01.028},
)
@article(Cervesato09ic,
 author       = {Iliano Cervesato and Andre Scedrov},
 year         = {2009},
 title        = {Relating State-Based and Process-Based Concurrency through Linear Logic},
 journal      = {Information and Computation},
 volume       = {207},
 number       = {10},
 pages        = {1044--1077},
 doi          = {10.1016/j.ic.2008.11.006},
)
@inproceedings(DeYoung12csl,
 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},
 editor       = {P. C{\'e}gielski and A. Durand},
 booktitle    = {Proceedings of the 21st Conference on Computer Science Logic},
 series       = {CSL 2012},
 pages        = {228--242},
 doi          = {10.4230/LIPIcs.CSL.2012.228},
)
@inproceedings(Fowler19popl,
 author       = {Simon Fowler and Sam Lindley and J. Garrett Morris and S{\'a}ra Decova},
 year         = {2019},
 title        = {Exceptional Asynchronous Session Types},
 booktitle    = {Proceedings of the 46th Symposium on Programming Languages (POPL 2019)},
 publisher    = {ACM},
 address      = {Cascais, Portugal},
 pages        = {28:1--28:29},
)
@article(Gay10jfp,
 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       = {1},
 pages        = {19--50},
 doi          = {10.1006/inco.1994.1093},
)
@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},
)
@inproceedings(Girard87tapsoft,
 author       = {J.-Y. Girard and Y. Lafont},
 year         = {1987},
 title        = {Linear Logic and Lazy Computation},
 editor       = {H. Ehrig and R. Kowalski and G. Levi and U. Montanari},
 booktitle    = {Proceedings of the International Joint Conference on Theory and Practice of Software Development},
 volume       = {2},
 publisher    = {Springer-Verlag LNCS 250},
 address      = {Pisa, Italy},
 pages        = {52--66},
 doi          = {10.1007/BFb0014972},
)
@article(Girard87tcs,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theoretical Computer Science},
 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},
)
@inproceedings(Honda93concur,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {4th International Conference on Concurrency Theory},
 series       = {CONCUR'93},
 publisher    = {Springer LNCS 715},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(Licata16lfcs,
 author       = {Daniel R. Licata and Michael Shulman},
 year         = {2016},
 title        = {Adjoint Logic with a 2-Category of Modes},
 booktitle    = {International Symposium on Logical Foundations of Computer Science (LFCS)},
 publisher    = {Springer LNCS 9537},
 pages        = {219--235},
 doi          = {10.1007/978-3-319-27683-0_16},
)
@inproceedings(Licata17fscd,
 author       = {Daniel R. Licata and Michael Shulman and Mitchell Riley},
 year         = {2017},
 title        = {A Fibrational Framework for Substructural and Modal Logics},
 booktitle    = {International Conference on Formal Structures for Computation and Deduction},
 publisher    = {LIPIcs},
 address      = {Oxford},
 doi          = {10.4230/LIPIcs.FSCD.2017.25},
)
@inproceedings(Mostrous14coordination,
 author       = {Dimitris Mostrous and Vasco Vasconcelos},
 year         = {2014},
 title        = {Affine Sessions},
 editor       = {E. K\"uhn and R. Pugliese},
 booktitle    = {16th International Conference on Coordination Models and Languages},
 publisher    = {Springer LNCS 8459},
 address      = {Berlin, Germany},
 pages        = {115--130},
 doi          = {10.1007/978-3-662-43376-8_8},
)
@book(Negri01book,
 author       = {Sara Negri and Jan von Plato},
 year         = {2001},
 title        = {Structural Proof Theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511527340},
)
@article(Padovani17icfp,
 author       = {Luca Padovani},
 year         = {2017},
 title        = {A Simple Library Implementation of Binary Sessions},
 journal      = {Journal of Functional Programming},
 volume       = {27},
 number       = {e4},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@unpublished(Pfenning16course,
 author       = {Frank Pfenning},
 year         = {2016},
 title        = {Law and Order},
 url          = {http://www.cs.cmu.edu/~fp/courses/15816-f16/lectures/08-lawandorder.pdf},
 note         = {Lecture notes on \textit{Substructural Logics}},
)
@inproceedings(Pfenning15fossacs,
 author       = {Frank Pfenning and Dennis Griffith},
 year         = {2015},
 title        = {Polarized Substructural Session Types},
 editor       = {A. Pitts},
 booktitle    = {Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)},
 publisher    = {Springer LNCS 9034},
 address      = {London, England},
 pages        = {3--22},
 doi          = {10.1007/978-3-662-46678-0_1},
 note         = {Invited talk},
)
@misc(Pfenning18tlla,
 author       = {Frank Pfenning and Klaas Pruiksma},
 year         = {2018},
 title        = {A Shared Memory Semantics for Session Types},
 howpublished = {Invited talk at the Workshop on Linearity/TLLA, Oxford, UK},
)
@unpublished(Pruiksma18un,
 author       = {Klaas Pruiksma and William Chargin and Frank Pfenning and Jason Reed},
 year         = {2018},
 title        = {Adjoint Logic},
 url          = {http://www.cs.cmu.edu/~fp/papers/adjoint18b.pdf},
 note         = {Unpublished manuscript},
)
@unpublished(Reed09un,
 author       = {Jason Reed},
 year         = {2009},
 title        = {A Judgmental Deconstruction of Modal Logic},
 url          = {http://www.cs.cmu.edu/~jcreed/papers/jdml2.pdf},
 note         = {Unpublished manuscript},
)
@inproceedings(Scalas16ecoop,
 author       = {Alceste Scalas and Nobuko Yoshida},
 year         = {2016},
 title        = {Lightweight Session Programming in Scala},
 booktitle    = {Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)},
 publisher    = {LICIcs 56},
 address      = {Rome, Italy},
 pages        = {21:1--21:28},
 doi          = {10.4230/LIPIcs.ECOOP.2016.21},
)
@inproceedings(Toninho13esop,
 author       = {Bernardo Toninho and Lu{\'\i}s Caires and Frank Pfenning},
 year         = {2013},
 title        = {Higher-Order Processes, Functions, and Sessions: A Monadic Integration},
 editor       = {M.Felleisen and P.Gardner},
 booktitle    = {Proceedings of the European Symposium on Programming (ESOP'13)},
 publisher    = {Springer LNCS 7792},
 address      = {Rome, Italy},
 pages        = {350--369},
 doi          = {10.1007/978-3-642-37036-6\_20},
)
@inproceedings(Wadler12icfp,
 author       = {Philip Wadler},
 year         = {2012},
 title        = {Propositions as Sessions},
 booktitle    = {Proceedings of the 17th International Conference on Functional Programming},
 series       = {ICFP 2012},
 publisher    = {ACM Press},
 address      = {Copenhagen, Denmark},
 pages        = {273--286},
 doi          = {10.1145/2364527.2364568},
)