@book(DBLP:books/daglib/0067558,
 author       = {Hendrik Pieter Barendregt},
 year         = {1985},
 title        = {The Lambda Calculus --- its Syntax and Semantics},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {103},
 publisher    = {North-Holland},
)
@inproceedings(BernardiDGK14,
 author       = {Giovanni Bernardi and Ornela Dardha and Simon J. Gay and Dimitrios Kouzapas},
 year         = {2014},
 title        = {On Duality Relations for Session Types},
 booktitle    = {TGC},
 doi          = {10.1007/978-3-662-45917-1\_4},
)
@inproceedings(BernardiH14,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2014},
 title        = {Using Higher-Order Contracts to Model Session Types (Extended Abstract)},
 booktitle    = {CONCUR},
 doi          = {10.1007/978-3-662-44584-6\_27},
)
@article(BernardiH16,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2016},
 title        = {Using higher-order contracts to model session types},
 journal      = {Logical Methods in Computer Science},
 volume       = {12},
 number       = {2},
 doi          = {10.2168/LMCS-12(2:10)2016},
)
@inproceedings(GayH99,
 author       = {Simon J. Gay and Malcolm Hole},
 year         = {1999},
 title        = {Types and Subtypes for Client-Server Interactions},
 booktitle    = {ESOP},
 doi          = {10.1007/3-540-49099-X\_6},
)
@article(GayH05,
 author       = {Simon J. Gay and Malcolm Hole},
 year         = {2005},
 title        = {Subtyping for session types in the pi calculus},
 journal      = {Acta Informatica},
 volume       = {42},
 number       = {2-3},
 doi          = {10.1007/s00236-005-0177-z},
)
@inproceedings(DBLP:conf/concur/Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {CONCUR},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(HondaVK98,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {ESOP},
 doi          = {10.1007/BFb0053567},
)
@inproceedings(LindleyM16,
 author       = {Sam Lindley and J. Garrett Morris},
 year         = {2016},
 title        = {Talking bananas: structural recursion for session types},
 booktitle    = {ICFP},
 doi          = {10.1145/2951913.2951921},
)
@book(Pierce,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {Types and Programming Languages},
 publisher    = {MIT Press},
)
@inproceedings(TakeuchiHK94,
 author       = {Kaku Takeuchi and Kohei Honda and Makoto Kubo},
 year         = {1994},
 title        = {An Interaction-based Language and its Typing System},
 booktitle    = {PARLE},
 doi          = {10.1007/3-540-58184-7\_118},
)
@article(Vasconcelos12,
 author       = {Vasco T. Vasconcelos},
 year         = {2012},
 title        = {Fundamentals of session types},
 journal      = {Information and Computation},
 volume       = {217},
 pages        = {52--70},
 doi          = {10.1016/j.ic.2012.05.002},
)