@article(DBLP:journals/corr/abs-2106-06658,
 author       = {Bernardo Almeida and Andreia Mordido and Peter Thiemann and Vasco T. Vasconcelos},
 year         = {2021},
 title        = {Polymorphic Context-free Session Types},
 journal      = {CoRR},
 volume       = {abs/2106.06658},
 doi          = {10.48550/arXiv.2106.06658},
)
@misc(freest,
 author       = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
 year         = {2019},
 title        = {{FreeST}, a Programming Language with Context-free Session Types},
 howpublished = {\url{http://rss.di.fc.ul.pt/tools/freest/}},
)
@inproceedings(DBLP:journals/corr/abs-1904-01284,
 author       = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
 year         = {2019},
 title        = {FreeST: Context-free Session Types in a Functional Language},
 booktitle    = {PLACES},
 series       = {{EPTCS}},
 volume       = {291},
 pages        = {12--23},
 doi          = {10.4204/EPTCS.291.2},
)
@inproceedings(DBLP:conf/tacas/AlmeidaMV20,
 author       = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
 year         = {2020},
 title        = {Deciding the Bisimilarity of Context-Free Session Types},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {12079},
 publisher    = {Springer},
 pages        = {39--56},
 doi          = {10.1007/978-3-030-45237-7\_3},
)
@inproceedings(DBLP:conf/parle/BaetenBK87,
 author       = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
 year         = {1987},
 title        = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages},
 booktitle    = {PARLE},
 series       = {LNCS},
 volume       = {259},
 publisher    = {Springer},
 pages        = {94--111},
 doi          = {10.1007/3-540-17945-3\_5},
)
@article(DBLP:journals/jacm/BaetenBK93,
 author       = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
 year         = {1993},
 title        = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages},
 journal      = {J. {ACM}},
 volume       = {40},
 number       = {3},
 pages        = {653--682},
 doi          = {10.1145/174130.174141},
)
@inproceedings(DBLP:conf/mfcs/BurkartCS95,
 author       = {Olaf Burkart and Didier Caucal and Bernhard Steffen},
 year         = {1995},
 title        = {An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes},
 booktitle    = {MFCS},
 series       = {LNCS},
 volume       = {969},
 publisher    = {Springer},
 pages        = {423--433},
 doi          = {10.1007/3-540-60246-1\_148},
)
@inproceedings(DBLP:conf/esop/CairesPPT13,
 author       = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Frank Pfenning and Bernardo Toninho},
 year         = {2013},
 title        = {Behavioral Polymorphism and Parametricity in Session-Based Communication},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {330--349},
 doi          = {10.1007/978-3-642-37036-6\_19},
)
@article(DBLP:journals/iandc/ChristensenHS95,
 author       = {S{\o}ren Christensen and Hans H{\"{u}}ttel and Colin Stirling},
 year         = {1995},
 title        = {Bisimulation Equivalence is Decidable for All Context-Free Processes},
 journal      = {Inf. Comput.},
 volume       = {121},
 number       = {2},
 pages        = {143--148},
 doi          = {10.1006/inco.1995.1129},
)
@article(Dardha2014,
 author       = {Ornela Dardha},
 year         = {2014},
 title        = {Recursive Session Types Revisited},
 journal      = {EPTCS},
 volume       = {162},
 pages        = {27\IeC{\textendash}34},
 doi          = {10.4204/eptcs.162.4},
)
@article(DBLP:journals/iandc/DardhaGS17,
 author       = {Ornela Dardha and Elena Giachino and Davide Sangiorgi},
 year         = {2017},
 title        = {Session types revisited},
 journal      = {Inf. Comput.},
 volume       = {256},
 pages        = {253--286},
 doi          = {10.1016/j.ic.2017.06.002},
)
@inproceedings(DBLP:conf/esop/DasDMP21,
 author       = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning},
 year         = {2021},
 title        = {Nested Session Types},
 booktitle    = {{ESOP}},
 series       = {LNCS},
 volume       = {12648},
 publisher    = {Springer},
 pages        = {178--206},
 doi          = {10.1007/978-3-030-72019-3\_7},
)
@article(DBLP:journals/corr/abs-2103-15193,
 author       = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning},
 year         = {2021},
 title        = {Subtyping on Nested Polymorphic Session Types},
 journal      = {CoRR},
 volume       = {abs/2103.15193},
 doi          = {10.48550/arXiv.2103.15193},
)
@inproceedings(debruijn:1972:lambda,
 author       = {De Bruijn, Nicolaas Govert},
 year         = {1972},
 title        = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem},
 booktitle    = {Indagationes Mathematicae},
 volume       = {75},
 organization = {Elsevier},
 pages        = {381--392},
 doi          = {10.1016/1385-7258(72)90034-0},
)
@article(DBLP:journals/mscs/Gay08,
 author       = {Simon J. Gay},
 year         = {2008},
 title        = {Bounded polymorphism in session types},
 journal      = {MSCS},
 volume       = {18},
 number       = {5},
 pages        = {895--930},
 doi          = {10.1017/S0960129508006944},
)
@article(DBLP:journals/acta/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},
 pages        = {191--225},
 doi          = {10.1007/s00236-005-0177-z},
)
@article(DBLP:journals/corr/abs-2201-08275,
 author       = {Simon J. Gay and Po{\c{c}}as, Diogo and Vasco T. Vasconcelos},
 year         = {2022},
 title        = {The Different Shades of Infinite Session Types},
 journal      = {CoRR},
 volume       = {abs/2201.08275},
 doi          = {10.48550/arXiv.2201.08275},
)
@incollection(girard:1971:extension,
 author       = {Jean-Yves Girard},
 year         = {1971},
 title        = {Une extension de L'interpretation de G{\"o}del a L'analyse, et son application a L'elimination des coupures dans L'analyse et la theorie des types},
 booktitle    = {Studies in Logic and the Foundations of Mathematics},
 volume       = {63},
 publisher    = {Elsevier},
 pages        = {63--92},
 doi          = {10.1016/S0049-237X(08)70843-7},
)
@article(greibach:1965:normalform,
 author       = {Sheila A. Greibach},
 year         = {1965},
 title        = {A New Normal-Form Theorem for Context-Free Phrase Structure Grammars},
 journal      = {J. ACM},
 volume       = {12},
 number       = {1},
 pages        = {42\IeC{\textendash}--52},
 doi          = {10.1145/321250.321254},
)
@phdthesis(griffith2016polarized,
 author       = {Dennis Edward Griffith},
 year         = {2016},
 title        = {Polarized substructural session types},
 school       = {University of Illinois at Urbana-Champaign},
 doi          = {10.2172/1562827},
)
@article(DBLP:journals/tcs/HirshfeldJM96,
 author       = {Yoram Hirshfeld and Mark Jerrum and Faron Moller},
 year         = {1996},
 title        = {A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {158},
 number       = {1{\&}2},
 pages        = {143--159},
 doi          = {10.1016/0304-3975(95)00064-X},
)
@inproceedings(DBLP:conf/concur/Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {{CONCUR}},
 series       = {LNCS},
 volume       = {715},
 publisher    = {Springer},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(DBLP:conf/esop/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}},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(DBLP:journals/corr/abs-1207-2479,
 author       = {Jan{\v c}ar, Petr},
 year         = {2012},
 title        = {Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {9},
 number       = {1},
 doi          = {10.2168/LMCS-9(1:10)2013},
)
@article(DBLP:journals/ipl/Kiefer13,
 author       = {Stefan Kiefer},
 year         = {2013},
 title        = {{BPA} bisimilarity is EXPTIME-hard},
 journal      = {Inf. Process. Lett.},
 volume       = {113},
 number       = {4},
 pages        = {101--106},
 doi          = {10.1016/j.ipl.2012.12.004},
)
@inproceedings(DBLP:conf/focs/KorenjakH66,
 author       = {A. J. Korenjak and John E. Hopcroft},
 year         = {1966},
 title        = {Simple Deterministic Languages},
 booktitle    = {SWAT},
 publisher    = {{IEEE} Computer Society},
 pages        = {36--46},
 doi          = {10.1109/SWAT.1966.22},
)
@article(DBLP:journals/toplas/Padovani19,
 author       = {Luca Padovani},
 year         = {2019},
 title        = {Context-Free Session Type Inference},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {41},
 number       = {2},
 pages        = {9:1--9:37},
 doi          = {10.1145/3229062},
)
@book(DBLP:books/daglib/0005958,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {Types and programming languages},
 publisher    = {{MIT} Press},
)
@inproceedings(DBLP:conf/europar/Puntigam99,
 author       = {Franz Puntigam},
 year         = {1999},
 title        = {Non-regular Process Types},
 booktitle    = {Euro-Par},
 series       = {LNCS},
 volume       = {1685},
 publisher    = {Springer},
 pages        = {1334--1343},
 doi          = {10.1007/3-540-48311-X\_189},
)
@inproceedings(DBLP:conf/europar/RavaraV97,
 author       = {Ant{\'{o}}nio Ravara and Vasco Thudichum Vasconcelos},
 year         = {1997},
 title        = {Behavioural Types for a Calculus of Concurrent Objects},
 booktitle    = {Euro-Par},
 series       = {LNCS},
 volume       = {1300},
 publisher    = {Springer},
 pages        = {554--561},
 doi          = {10.1007/BFb0002782},
)
@inproceedings(DBLP:conf/programm/Reynolds74,
 author       = {John C. Reynolds},
 year         = {1974},
 title        = {Towards a theory of type structure},
 booktitle    = {Programming Symposium},
 series       = {LNCS},
 volume       = {19},
 publisher    = {Springer},
 pages        = {408--423},
 doi          = {10.1007/3-540-06859-7\_148},
)
@book(sangiorgi2014introduction,
 author       = {Davide Sangiorgi},
 year         = {2014},
 title        = {An Introduction to Bisimulation and Coinduction},
 publisher    = {Cambridge University Press},
)
@inproceedings(DBLP:conf/soco/Sudholt05,
 author       = {Mario S{\"{u}}dholt},
 year         = {2005},
 title        = {A Model of Components with Non-regular Protocols},
 booktitle    = {SC},
 series       = {LNCS},
 volume       = {3628},
 publisher    = {Springer},
 pages        = {99--113},
 doi          = {10.1007/11550679\_8},
)
@inproceedings(DBLP:conf/parle/TakeuchiHK94,
 author       = {Kaku Takeuchi and Kohei Honda and Makoto Kubo},
 year         = {1994},
 title        = {An Interaction-based Language and its Typing System},
 booktitle    = {{PARLE}},
 series       = {LNCS},
 volume       = {817},
 publisher    = {Springer},
 pages        = {398--413},
 doi          = {10.1007/3-540-58184-7\_118},
)
@inproceedings(DBLP:conf/icfp/ThiemannV16,
 author       = {Peter Thiemann and Vasco T. Vasconcelos},
 year         = {2016},
 title        = {Context-free session types},
 booktitle    = {ICFP},
 publisher    = {{ACM}},
 pages        = {462--475},
 doi          = {10.1145/2951913.2951926},
)
@inproceedings(DBLP:conf/icfp/Wadler12,
 author       = {Philip Wadler},
 year         = {2012},
 title        = {Propositions as sessions},
 booktitle    = {{ICFP}},
 publisher    = {{ACM}},
 pages        = {273--286},
 doi          = {10.1145/2364527.2364568},
)