References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. Jean-Yves Girard (1987): Linear Logic. Theoretical Computer Science 50, pp. 1–102, doi:10.1016/0304-3975(87)90045-4.
  13. Dennis Griffith (2016): Polarized Substructural Session Types. University of Illinois at Urbana-Champaign.
  14. 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.
  15. 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.
  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.
  17. 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.
  18. Sara Negri & Jan von Plato (2001): Structural Proof Theory. Cambridge University Press, doi:10.1017/CBO9780511527340.
  19. Luca Padovani (2017): A Simple Library Implementation of Binary Sessions. Journal of Functional Programming 27(e4), doi:10.1016/0304-3975(83)90059-2.
  20. Frank Pfenning (2016): Law and Order. Available at http://www.cs.cmu.edu/~fp/courses/15816-f16/lectures/08-lawandorder.pdf. Lecture notes on Substructural Logics.
  21. 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.
  22. Frank Pfenning & Klaas Pruiksma (2018): A Shared Memory Semantics for Session Types. Invited talk at the Workshop on Linearity/TLLA, Oxford, UK.
  23. Klaas Pruiksma, William Chargin, Frank Pfenning & Jason Reed (2018): Adjoint Logic. Available at http://www.cs.cmu.edu/~fp/papers/adjoint18b.pdf. Unpublished manuscript.
  24. Jason Reed (2009): A Judgmental Deconstruction of Modal Logic. Available at http://www.cs.cmu.edu/~jcreed/papers/jdml2.pdf. Unpublished manuscript.
  25. 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.
  26. 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.
  27. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org