Exportar referência
APA
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos, (2022). Polymorphic lambda calculus with context-free session types. Information and Computation, 289, ISSN 0890-5401. eISSN . http://dx.doi.org/10.1016/j.ic.2022.104948
IEEE
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos, "Polymorphic lambda calculus with context-free session types" in Information and Computation, vol. 289, 2022.
10.1016/j.ic.2022.104948
BIBTEX
@article{56844,
author = {Bernardo Almeida and Andreia Mordido and Peter Thiemann and Vasco T. Vasconcelos},
title = {Polymorphic lambda calculus with context-free session types},
journal = {Information and Computation},
year = 2022,
volume = 289
}