Polymorphic higher-order context-free session types

Diana Costa 0001, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Polymorphic higher-order context-free session types. Theoretical Computer Science, 1001:114582, 2024. [doi]

@article{CostaMPV24,
  title = {Polymorphic higher-order context-free session types},
  author = {Diana Costa 0001 and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos},
  year = {2024},
  doi = {10.1016/j.tcs.2024.114582},
  url = {https://doi.org/10.1016/j.tcs.2024.114582},
  researchr = {https://researchr.org/publication/CostaMPV24},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {1001},
  pages = {114582},
}