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},
}