Stephanie Balzer
Frank Pfenning
2017
Manifest Sharing with Session Types
International Conference on Functional Programming (ICFP)
ACM
37:1–37:29
10.1145/3110281
Nick Benton
1994
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models
Leszek Pacholski
Jerzy Tiuryn
Selected Papers from the 8th International Workshop on Computer Science Logic (CLS'94)
Springer LNCS 933
Kazimierz, Poland
121–135
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
European Symposium on Programming
Springer
229–259
10.1007/978-3-662-54434-1_9
Luís Caires
Frank Pfenning
2010
Session Types as Intuitionistic Linear Propositions
Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010)
Springer LNCS 6269
Paris, France
222–236
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
367–423
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
1044–1077
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
P. Cégielski
A. Durand
Proceedings of the 21st Conference on Computer Science Logic
CSL 2012
228–242
10.4230/LIPIcs.CSL.2012.228
Simon Fowler
Sam Lindley
J. Garrett Morris
Sára Decova
2019
Exceptional Asynchronous Session Types
Proceedings of the 46th Symposium on Programming Languages (POPL 2019)
ACM
Cascais, Portugal
28:1–28:29
Simon J. Gay
Vasco T. Vasconcelos
2010
Linear Type Theory for Asynchronous Session Types
Journal of Functional Programming
20
1
19–50
10.1006/inco.1994.1093
Gerhard Gentzen
1935
Untersuchungen über das Logische Schließen
Mathematische Zeitschrift
39
176–210, 405–431
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
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
52–66
10.1007/BFb0014972
Jean-Yves Girard
1987
Linear Logic
Theoretical Computer Science
50
1–102
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
4th International Conference on Concurrency Theory
CONCUR'93
Springer LNCS 715
509–523
10.1007/3-540-57208-2_35
Daniel R. Licata
Michael Shulman
2016
Adjoint Logic with a 2-Category of Modes
International Symposium on Logical Foundations of Computer Science (LFCS)
Springer LNCS 9537
219–235
10.1007/978-3-319-27683-0_16
Daniel R. Licata
Michael Shulman
Mitchell Riley
2017
A Fibrational Framework for Substructural and Modal Logics
International Conference on Formal Structures for Computation and Deduction
LIPIcs
Oxford
10.4230/LIPIcs.FSCD.2017.25
Dimitris Mostrous
Vasco Vasconcelos
2014
Affine Sessions
E. Kühn
R. Pugliese
16th International Conference on Coordination Models and Languages
Springer LNCS 8459
Berlin, Germany
115–130
10.1007/978-3-662-43376-8_8
Sara Negri
Jan von Plato
2001
Structural Proof Theory
Cambridge University Press
10.1017/CBO9780511527340
Luca Padovani
2017
A Simple Library Implementation of Binary Sessions
Journal of Functional Programming
27
e4
10.1016/0304-3975(83)90059-2
Frank Pfenning
2016
Law and Order
http://www.cs.cmu.edu/~fp/courses/15816-f16/lectures/08-lawandorder.pdf
Lecture notes on Substructural Logics
Frank Pfenning
Dennis Griffith
2015
Polarized Substructural Session Types
A. Pitts
Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)
Springer LNCS 9034
London, England
3–22
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
Klaas Pruiksma
William Chargin
Frank Pfenning
Jason Reed
2018
Adjoint Logic
http://www.cs.cmu.edu/~fp/papers/adjoint18b.pdf
Unpublished manuscript
Jason Reed
2009
A Judgmental Deconstruction of Modal Logic
http://www.cs.cmu.edu/~jcreed/papers/jdml2.pdf
Unpublished manuscript
Alceste Scalas
Nobuko Yoshida
2016
Lightweight Session Programming in Scala
Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
LICIcs 56
Rome, Italy
21:1–21:28
10.4230/LIPIcs.ECOOP.2016.21
Bernardo Toninho
Luís Caires
Frank Pfenning
2013
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
M.Felleisen
P.Gardner
Proceedings of the European Symposium on Programming (ESOP'13)
Springer LNCS 7792
Rome, Italy
350–369
10.1007/978-3-642-37036-6_20
Philip Wadler
2012
Propositions as Sessions
Proceedings of the 17th International Conference on Functional Programming
ICFP 2012
ACM Press
Copenhagen, Denmark
273–286
10.1145/2364527.2364568