Exportar referência
APA
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, (2022). Higher-order Context-free Session Types in System F. Electronic Proceedings in Theoretical Computer Science, 24-35
IEEE
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos, "Higher-order Context-free Session Types in System F" in Electronic Proceedings in Theoretical Computer Science, , 2022, pp. 24-35,
doi: 10.4204/eptcs.356.3
BIBTEX
@InProceedings{56723,
author = {Diana Costa and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos},
title = {Higher-order Context-free Session Types in System F},
booktitle = {Electronic Proceedings in Theoretical Computer Science},
year = 2022,
pages = {24-35},
address = {},
publisher = {Open Publishing Association}
}