Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini (1983):
A Filter Lambda Model and the Completeness of Type Assignment.
Journal of Symbolic Logic 48(4),
pp. 931–940,
doi:10.2307/2273659.
W3C WS-CDL.
http://www.w3.org/2002/ws/chor/.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2014):
On the Preciseness of Subtyping in Session Types.
In: PPDP.
ACM Press,
pp. 135–146,
doi:10.1145/2643135.2643138.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida & Luca Padovani (2015):
Global Progress for Dynamically Interleaved Multiparty Sessions.
Mathematical Structures in Computer Science,
doi:10.1017/S0960129514000188.
To appear.
Romain Demangeon & Kohei Honda (2011):
Full Abstraction in a Subtyped pi-Calculus with Linear Types.
In: CONCUR,
LNCS 6901.
Springer,
pp. 280–296,
doi:10.1007/978-3-642-23217-6_19.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Adolfo Piperno (1998):
A Filter Model for Concurrent lambda-Calculus.
SIAM Journal on Computing 27(5),
pp. 1376–1419,
doi:10.1137/S0097539794275860.
Mariangiola Dezani-Ciancaglini & Silvia Ghilezan (2014):
Preciseness of Subtyping on Intersection and Union Types.
In: RTATLCA,
LNCS 8560.
Springer,
pp. 194–207,
doi:10.1007/978-3-319-08918-8_14.
Simon Gay & Malcolm Hole (2005):
Subtyping for Session Types in the Pi Calculus.
Acta Informatica 42(2/3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
Robert Harper (2013):
Practical Foundations for Programming Languages.
Cambridge University Press.
A. S. Henriksen, L. Nielsen, T. Hildebrandt, N. Yoshida & F. Henglein (2012):
Trustworthy Pervasive Healthcare Services via Multi-party Session Types.
In: FHIES,
LNCS 7789.
Springer,
pp. 124–141,
doi:10.1007/978-3-642-39088-3_8.
J. Roger Hindley (1983):
The Completeness Theorem for Typing Lambda-Terms.
Theoretical Computer Science 22,
pp. 1–17,
doi:10.1016/0304-3975(83)90136-6.
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011):
Scribbling Interactions with a Formal Foundation.
In: ICDCIT,
LNCS 6536.
Springer,
pp. 55–75,
doi:10.1007/978-3-642-19056-8_4.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida & Kohei Honda (2010):
Type-Safe Eventful Sessions in Java.
In: ECOOP,
LNCS 6183.
Springer,
pp. 329–353,
doi:10.1007/978-3-642-14107-2_16.
Dimitrios Kouzapas & Nobuko Yoshida (2013):
Globally Governed Session Semantics.
In: CONCUR,
LNCS 8052.
Springer,
pp. 395–409,
doi:10.1145/1328438.1328472.
Jay Ligatti, Jeremy Blackburn & Michael Nachtigal (2014):
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.
Technical Report.
University of South Florida.
Dimitris Mostrous, Nobuko Yoshida & Kohei Honda (2009):
Global Principal Typing in Partially Commutative Asynchronous Sessions.
In: ESOP,
LNCS 5502.
Springer,
pp. 316–332,
doi:10.1007/978-3-642-00590-9_23.
Luca Padovani (2011):
Session Types = Intersection Types + Union Types.
In: ITRS,
EPTCS 45.
Open Publishing Association,
pp. 71–89,
doi:10.4204/EPTCS.45.6.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994):
An Interaction-based Language and its Typing System.
In: PARLE'94,
LNCS 817,
pp. 398–413,
doi:10.1007/3-540-58184-7_118.
UNIFI (2002):
International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme.
http://www.iso20022.org.
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri & Raymond Hu (2010):
Parameterised Multiparty Session Types.
In: FOSSACS,
LNCS 6014.
Springer,
pp. 128–145,
doi:10.1007/978-3-642-12032-9_10.