@inproceedings(berger2001sequentiality,
 author       = {Martin Berger and Kohei Honda and Nobuko Yoshida},
 year         = {2001},
 title        = {Sequentiality and the $\pi$-calculus},
 booktitle    = {International Conference on Typed Lambda Calculi and Applications},
 organization = {Springer},
 pages        = {29--45},
 doi          = {10.1007/3-540-45413-6_7},
)
@article(linearhaskell,
 author       = {Jean-Philippe Bernardy and Mathieu Boespflug and Ryan R. Newton and Peyton Jones, Simon and Arnaud Spiwack},
 year         = {2017},
 title        = {Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {2},
 number       = {POPL},
 doi          = {10.1145/3158093},
)
@inproceedings(brunel2014coeffects,
 author       = {Alo\"{\i}s Brunel and Marco Gaboardi and Damiano Mazza and Steve Zdancewic},
 year         = {2014},
 title        = {A Core Quantitative Coeffect Calculus},
 booktitle    = {Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {351\IeC{\textendash}370},
 doi          = {10.1007/978-3-642-54833-8_19},
)
@inproceedings(cairespfenning,
 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},
 series       = {CONCUR'10},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {222\IeC{\textendash}236},
 doi          = {10.1007/978-3-642-15375-4_16},
)
@inproceedings(gaboardi2016combining,
 author       = {Marco Gaboardi and Shin-ya Katsumata and Dominic Orchard and Flavien Breuvart and Tarmo Uustalu},
 year         = {2016},
 title        = {Combining Effects and Coeffects via Grading},
 booktitle    = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP 2016},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {476\IeC{\textendash}489},
 doi          = {10.1145/2951913.2951939},
)
@article(DBLP:journals/jfp/GayV10,
 author       = {Simon J. Gay and Vasco Thudichum Vasconcelos},
 year         = {2010},
 title        = {Linear type theory for asynchronous session types},
 journal      = {J. Funct. Program.},
 volume       = {20},
 number       = {1},
 pages        = {19--50},
 doi          = {10.1017/S0956796809990268},
)
@inproceedings(ghica2014coeffects,
 author       = {Dan R. Ghica and Alex I. Smith},
 year         = {2014},
 title        = {Bounded Linear Types in a Resource Semiring},
 booktitle    = {Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {331\IeC{\textendash}350},
 doi          = {10.1007/978-3-642-54833-8_18},
)
@article(girard,
 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},
 url          = {http://www.sciencedirect.com/science/article/pii/0304397587900454},
)
@article(girard1992bounded,
 author       = {Jean-Yves Girard and Andre Scedrov and Philip J Scott},
 year         = {1992},
 title        = {Bounded linear logic: a modular approach to polynomial-time computability},
 journal      = {Theoretical Computer Science},
 volume       = {97},
 number       = {1},
 pages        = {1--66},
 doi          = {10.1007/978-1-4612-3466-1_11},
)
@inproceedings(honda,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for dyadic interaction},
 editor       = {Eike Best},
 booktitle    = {CONCUR'93},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2_35},
)
@inproceedings(prioritysesh,
 author       = {Wen Kokke and Ornela Dardha},
 year         = {2021},
 title        = {Deadlock-Free Session Types in Linear Haskell},
 booktitle    = {Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell},
 series       = {Haskell 2021},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {1\IeC{\textendash}13},
 doi          = {10.1145/3471874.3472979},
)
@inproceedings(lindley2015semantics,
 author       = {Sam Lindley and J Garrett Morris},
 year         = {2015},
 title        = {A semantics for propositions as sessions},
 booktitle    = {European Symposium on Programming Languages and Systems},
 organization = {Springer},
 pages        = {560--584},
 doi          = {10.1007/978-3-662-46669-8_23},
)
@inproceedings(inverses,
 author       = {Daniel Marshall and Dominic Orchard},
 year         = {2022},
 title        = {How to Take the Inverse of a Type},
 note         = {To appear in ECOOP 2022.},
)
@inproceedings(entente,
 author       = {Daniel Marshall and Michael Vollmer and Dominic Orchard},
 year         = {2022},
 title        = {Linearity and Uniqueness: An Entente Cordiale},
 note         = {To appear in ESOP 2022.},
)
@inproceedings(DBLP:conf/esop/MoonEO21,
 author       = {Benjamin Moon and Harley Eades III and Dominic Orchard},
 year         = {2021},
 title        = {Graded Modal Dependent Type Theory},
 editor       = {Nobuko Yoshida},
 booktitle    = {Programming Languages and Systems - 30th European Symposium on Programming, {ESOP} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12648},
 publisher    = {Springer},
 pages        = {462--490},
 doi          = {10.1007/978-3-030-72019-3\_17},
)
@article(orchard2019quantitative,
 author       = {Dominic Orchard and Vilem-Benjamin Liepelt and Eades III, Harley},
 year         = {2019},
 title        = {Quantitative program reasoning with graded modal types},
 journal      = {Proceedings of the ACM on Programming Languages},
 volume       = {3},
 number       = {ICFP},
 pages        = {1--30},
 doi          = {10.1145/3341714},
)
@inproceedings(petricek2014coeffects,
 author       = {Tomas Petricek and Dominic Orchard and Alan Mycroft},
 year         = {2014},
 title        = {Coeffects: A Calculus of Context-Dependent Computation},
 booktitle    = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '14},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {123\IeC{\textendash}135},
 doi          = {10.1145/2628136.2628160},
)
@article(pruiksma,
 author       = {Klaas Pruiksma and Frank Pfenning},
 year         = {2019},
 title        = {A Message-Passing Interpretation of Adjoint Logic},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {291},
 pages        = {60\IeC{\textendash}79},
 doi          = {10.4204/eptcs.291.6},
)
@book(sangiorgi2003pi,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2003},
 title        = {The $\pi$-calculus: a Theory of Mobile Processes},
 publisher    = {Cambridge University Press},
)
@inproceedings(DBLP:conf/ppdp/ToninhoCP21,
 author       = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2021},
 title        = {A Decade of Dependent Session Types},
 editor       = {Niccol{\`{o}} Veltri and Nick Benton and Silvia Ghilezan},
 booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
 publisher    = {{ACM}},
 pages        = {3:1--3:3},
 doi          = {10.1145/3479394.3479398},
)
@inproceedings(DBLP:conf/fossacs/ToninhoY18,
 author       = {Bernardo Toninho and Nobuko Yoshida},
 year         = {2018},
 title        = {Depending on Session-Typed Processes},
 editor       = {Christel Baier and Ugo Dal Lago},
 booktitle    = {Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10803},
 publisher    = {Springer},
 pages        = {128--145},
 doi          = {10.1007/978-3-319-89366-2\_7},
)
@article(devries,
 author       = {Edsko de Vries and Adrian Francalanza and Matthew Hennessy},
 year         = {2012},
 title        = {{Uniqueness typing for resource management in message-passing concurrency}},
 journal      = {Journal of Logic and Computation},
 volume       = {24},
 number       = {3},
 pages        = {531--556},
 doi          = {10.1093/logcom/exs022},
 eprint       = {https://academic.oup.com/logcom/article-pdf/24/3/531/2782308/exs022.pdf},
)
@inproceedings(wadler,
 author       = {Philip Wadler},
 year         = {1990},
 title        = {Linear {T}ypes {C}an {C}hange the {W}orld!},
 editor       = {Manfred Broy and Cliff B. Jones},
 booktitle    = {Programming Concepts and Methods: Proceedings of the {IFIP} Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2--5 April, 1990},
 publisher    = {North-Holland},
 address      = {Amsterdam},
 pages        = {561--581},
 url          = {https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html#linear-types},
)
@article(wadler2014propositions,
 author       = {Philip Wadler},
 year         = {2014},
 title        = {Propositions as sessions},
 journal      = {Journal of {Functional Programming}},
 volume       = {24},
 number       = {2-3},
 pages        = {384--418},
 doi          = {10.1017/S095679681400001X},
)
@article(walker2005substructural,
 author       = {David Walker},
 year         = {2005},
 title        = {Substructural Type Systems},
 journal      = {Advanced Topics in Types and Programming Languages},
 pages        = {3--44},
)
@article(yoshida2007language,
 author       = {Nobuko Yoshida and Vasco T Vasconcelos},
 year         = {2007},
 title        = {Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {171},
 number       = {4},
 pages        = {73--93},
 doi          = {10.1016/j.entcs.2007.02.056},
)
@inproceedings(zalakain,
 author       = {Uma Zalakain and Ornela Dardha},
 year         = {2021},
 title        = {$\pi$ with Leftovers: A Mechanisation in Agda},
 editor       = {Kirstin Peters and Tim A. C. Willemse},
 booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {157--174},
 doi          = {10.1007/978-3-030-78089-0_9},
)