Roberto M. Amadio & Luca Cardelli (1991):
Subtyping Recursive Types.
In: POPL.
ACM Press,
pp. 104–118,
doi:10.1145/99583.99600.
Franco Barbanera, Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (1995):
Intersection and Union Types: Syntax and Semantics.
Inf. Comput. 119(2),
pp. 202–230,
doi:10.1006/inco.1995.1086.
Luís Caires, Jorge A. Pérez, Frank Pfenning & Bernardo Toninho (2013):
Behavioral Polymorphism and Parametricity in Session-Based Communication.
In: ESOP,
Lecture Notes in Computer Science 7792.
Springer,
pp. 330–349,
doi:10.1007/978-3-642-37036-6_19.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: CONCUR,
Lecture Notes in Computer Science 6269.
Springer,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009):
Foundations of session types.
In: PPDP.
ACM,
pp. 219–230,
doi:10.1145/1599410.1599437.
Iliano Cervesato & Andre Scedrov (2009):
Relating state-based and process-based concurrency through linear logic (full-version).
Inf. Comput. 207(10),
pp. 1044–1077,
doi:10.1016/j.ic.2008.11.006.
Rocco De Nicola & Matthew Hennessy (1987):
CCS without tau's.
In: TAPSOFT, Vol.1,
Lecture Notes in Computer Science 249.
Springer,
pp. 138–152,
doi:10.1007/3-540-17660-8_53.
Henry DeYoung, Luís Caires, Frank Pfenning & Bernardo Toninho (2012):
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
In: CSL,
LIPIcs 16.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 228–242,
doi:10.4230/LIPIcs.CSL.2012.228.
Joshua Dunfield & Frank Pfenning (2003):
Type Assignment for Intersections and Unions in Call-by-Value Languages.
In: FoSSaCS,
Lecture Notes in Computer Science 2620.
Springer,
pp. 250–266,
doi:10.1007/3-540-36576-1_16.
Joshua Dunfield & Frank Pfenning (2004):
Tridirectional typechecking.
In: POPL.
ACM,
pp. 281–292,
doi:10.1145/964001.964025.
Timothy S. Freeman & Frank Pfenning (1991):
Refinement Types for ML.
In: PLDI.
ACM,
pp. 268–277,
doi:10.1145/113445.113468.
Simon J. Gay & Malcolm Hole (2005):
Subtyping for session types in the pi calculus.
Acta Inf. 42(2-3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
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.