Exportar referência
APA
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, (2024). Polymorphic higher-order context-free session types. Theoretical Computer Science, 1001, ISSN 0304-3975. eISSN . http://dx.doi.org/10.1016/j.tcs.2024.114582
IEEE
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, "Polymorphic higher-order context-free session types" in Theoretical Computer Science, vol. 1001, 2024.
10.1016/j.tcs.2024.114582
BIBTEX
@article{62236,
author = {Diana Costa and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos},
title = {Polymorphic higher-order context-free session types},
journal = {Theoretical Computer Science},
year = 2024,
volume = 1001
}