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