Stephanie Balzer & Frank Pfenning (2017):
Manifest Sharing with Session Types.
In: International Conference on Functional Programming (ICFP).
ACM,
pp. 37:1–37:29,
doi:10.1145/3110281.
Nick Benton (1994):
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models.
In: Leszek Pacholski & Jerzy Tiuryn: Selected Papers from the 8th International Workshop on Computer Science Logic (CLS'94).
Springer LNCS 933,
Kazimierz, Poland,
pp. 121–135,
doi:10.1007/BFb0022251.
An extended version appears as Technical Report UCAM-CL-TR-352, University of Cambridge.
Luís Caires & Jorge A Pérez (2017):
Linearity, control effects, and behavioral types.
In: European Symposium on Programming.
Springer,
pp. 229–259,
doi:10.1007/978-3-662-54434-1_9.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010).
Springer LNCS 6269,
Paris, France,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Luís Caires, Frank Pfenning & Bernardo Toninho (2016):
Linear Logic Propositions as Session Types.
Mathematical Structures in Computer Science 26(3),
pp. 367–423,
doi:10.1016/j.tcs.2010.01.028.
Iliano Cervesato & Andre Scedrov (2009):
Relating State-Based and Process-Based Concurrency through Linear Logic.
Information and Computation 207(10),
pp. 1044–1077,
doi:10.1016/j.ic.2008.11.006.
Henry DeYoung, Luís Caires, Frank Pfenning & Bernardo Toninho (2012):
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
In: P. Cégielski & A. Durand: Proceedings of the 21st Conference on Computer Science Logic,
CSL 2012,
pp. 228–242,
doi:10.4230/LIPIcs.CSL.2012.228.
Simon Fowler, Sam Lindley, J. Garrett Morris & Sára Decova (2019):
Exceptional Asynchronous Session Types.
In: Proceedings of the 46th Symposium on Programming Languages (POPL 2019).
ACM,
Cascais, Portugal,
pp. 28:1–28:29.
Simon J. Gay & Vasco T. Vasconcelos (2010):
Linear Type Theory for Asynchronous Session Types.
Journal of Functional Programming 20(1),
pp. 19–50,
doi:10.1006/inco.1994.1093.
Gerhard Gentzen (1935):
Untersuchungen über das Logische Schließen.
Mathematische Zeitschrift 39,
pp. 176–210, 405–431,
doi:10.1007/BF01201353.
English translation in M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68–131, North-Holland, 1969.
J.-Y. Girard & Y. Lafont (1987):
Linear Logic and Lazy Computation.
In: H. Ehrig, R. Kowalski, G. Levi & U. Montanari: Proceedings of the International Joint Conference on Theory and Practice of Software Development 2.
Springer-Verlag LNCS 250,
Pisa, Italy,
pp. 52–66,
doi:10.1007/BFb0014972.
Jean-Yves Girard (1987):
Linear Logic.
Theoretical Computer Science 50,
pp. 1–102,
doi:10.1016/0304-3975(87)90045-4.
Dennis Griffith (2016):
Polarized Substructural Session Types.
University of Illinois at Urbana-Champaign.
Kohei Honda (1993):
Types for Dyadic Interaction.
In: 4th International Conference on Concurrency Theory,
CONCUR'93.
Springer LNCS 715,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Daniel R. Licata & Michael Shulman (2016):
Adjoint Logic with a 2-Category of Modes.
In: International Symposium on Logical Foundations of Computer Science (LFCS).
Springer LNCS 9537,
pp. 219–235,
doi:10.1007/978-3-319-27683-0_16.
Daniel R. Licata, Michael Shulman & Mitchell Riley (2017):
A Fibrational Framework for Substructural and Modal Logics.
In: International Conference on Formal Structures for Computation and Deduction.
LIPIcs,
Oxford,
doi:10.4230/LIPIcs.FSCD.2017.25.
Dimitris Mostrous & Vasco Vasconcelos (2014):
Affine Sessions.
In: E. Kühn & R. Pugliese: 16th International Conference on Coordination Models and Languages.
Springer LNCS 8459,
Berlin, Germany,
pp. 115–130,
doi:10.1007/978-3-662-43376-8_8.
Sara Negri & Jan von Plato (2001):
Structural Proof Theory.
Cambridge University Press,
doi:10.1017/CBO9780511527340.
Luca Padovani (2017):
A Simple Library Implementation of Binary Sessions.
Journal of Functional Programming 27(e4),
doi:10.1016/0304-3975(83)90059-2.
Frank Pfenning & Dennis Griffith (2015):
Polarized Substructural Session Types.
In: A. Pitts: Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015).
Springer LNCS 9034,
London, England,
pp. 3–22,
doi:10.1007/978-3-662-46678-0_1.
Invited talk.
Frank Pfenning & Klaas Pruiksma (2018):
A Shared Memory Semantics for Session Types.
Invited talk at the Workshop on Linearity/TLLA, Oxford, UK.
Alceste Scalas & Nobuko Yoshida (2016):
Lightweight Session Programming in Scala.
In: Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016).
LICIcs 56,
Rome, Italy,
pp. 21:1–21:28,
doi:10.4230/LIPIcs.ECOOP.2016.21.
Bernardo Toninho, Luís Caires & Frank Pfenning (2013):
Higher-Order Processes, Functions, and Sessions: A Monadic Integration.
In: M.Felleisen & P.Gardner: Proceedings of the European Symposium on Programming (ESOP'13).
Springer LNCS 7792,
Rome, Italy,
pp. 350–369,
doi:10.1007/978-3-642-37036-6_20.
Philip Wadler (2012):
Propositions as Sessions.
In: Proceedings of the 17th International Conference on Functional Programming,
ICFP 2012.
ACM Press,
Copenhagen, Denmark,
pp. 273–286,
doi:10.1145/2364527.2364568.