Exportar referência
APA
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos, (2023). System $F^\\mu _\\omega$ with Context-free Session Types. Programming Languages and Systems,Lecture Notes in Computer Science, 392-420
IEEE
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos, "System $F^\\mu _\\omega$ with Context-free Session Types" in Programming Languages and Systems,Lecture Notes in Computer Science, , 2023, pp. 392-420,
doi: 10.1007/978-3-031-30044-8_15
BIBTEX
@InProceedings{59658,
author = {Diogo Poças and Diana Costa and Andreia Mordido and Vasco T. Vasconcelos},
title = {System $F^\\mu _\\omega$ with Context-free Session Types},
booktitle = {Programming Languages and Systems,Lecture Notes in Computer Science},
year = 2023,
pages = {392-420},
address = {},
publisher = {Springer Nature Switzerland}
}