References

1. Hendrik Pieter Barendregt (1985): The Lambda Calculus — its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics 103. North-Holland.
2. Giovanni Bernardi, Ornela Dardha, Simon J. Gay & Dimitrios Kouzapas (2014): On Duality Relations for Session Types. In: TGC, doi:10.1007/978-3-662-45917-1_4.
3. Giovanni Bernardi & Matthew Hennessy (2014): Using Higher-Order Contracts to Model Session Types (Extended Abstract). In: CONCUR, doi:10.1007/978-3-662-44584-6_27.
4. Giovanni Bernardi & Matthew Hennessy (2016): Using higher-order contracts to model session types. Logical Methods in Computer Science 12(2), doi:10.2168/LMCS-12(2:10)2016.
5. Simon J. Gay & Malcolm Hole (1999): Types and Subtypes for Client-Server Interactions. In: ESOP, doi:10.1007/3-540-49099-X_6.
6. Simon J. Gay & Malcolm Hole (2005): Subtyping for session types in the pi calculus. Acta Informatica 42(2-3), doi:10.1007/s00236-005-0177-z.
7. Kohei Honda (1993): Types for Dyadic Interaction. In: CONCUR, doi:10.1007/3-540-57208-2_35.
8. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, doi:10.1007/BFb0053567.
9. Sam Lindley & J. Garrett Morris (2016): Talking bananas: structural recursion for session types. In: ICFP, doi:10.1145/2951913.2951921.
10. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press.
11. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE, doi:10.1007/3-540-58184-7_118.
12. Vasco T. Vasconcelos (2012): Fundamentals of session types. Information and Computation 217, pp. 52–70, doi:10.1016/j.ic.2012.05.002.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org