1. Polymorphic lambda calculus with context-free session types;Almeida;Inf. Comput.,2022
2. FreeST: context-free session types in a functional language;Almeida,2019
3. Deciding the bisimilarity of context-free session types;Almeida,2020
4. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten,1987