Export
APA
Sardinha, Inês Maria Caldeira, (2022). Algorithms for infinite session types. https://repositorio.ul.pt/handle/10451/55529 Poças, Diogo Miguel Ferreira, Vasconcelos, Vasco Thudichum,
IEEE
Sardinha, Inês Maria Caldeira, "Algorithms for infinite session types", 2022.
BIBTEX
@MastersThesis{56652,
author = {Sardinha, Inês Maria Caldeira},
title = {Algorithms for infinite session types},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2022},
OPTtype = {Documentos Académicos}
}