1. Polymorphic lambda calculus with context-free session types;Bernardo Almeida;Inf. Comput,2022
2. FreeST: Contextfree Session Types in a Functional Language;Bernardo Almeida;PLACES,2019
3. Deciding the Bisimilarity of Context-Free Session Types;Bernardo Almeida;TACAS,2020
4. Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages;C M Jos;PARLE,1987