Export
APA
Silva, Gil Afonso Tavares Pereira da, (2024). Subtyping Context-Free Session Types. http://hdl.handle.net/10400.5/95504 Vasconcelos, Vasco Thudichum, Rodrigues, Andreia Filipa Torcato Mordido,
IEEE
Silva, Gil Afonso Tavares Pereira da, "Subtyping Context-Free Session Types", 2024.
BIBTEX
@MastersThesis{62321,
author = {Silva, Gil Afonso Tavares Pereira da},
title = {Subtyping Context-Free Session Types},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2024},
OPTtype = {Documentos Académicos}
}