Exportar referência
APA
João Mira da Silva, (2021). Bar recursion with abstract types. A study on the bounded functional interpretation.. Fernando Ferreira, João Rasga,
IEEE
João Mira da Silva, "Bar recursion with abstract types. A study on the bounded functional interpretation.", 2021.
BIBTEX
@MastersThesis{54720,
author = {João Mira da Silva},
title = {Bar recursion with abstract types. A study on the bounded functional interpretation.},
school = {INSTITUTO SUPERIOR TÉCNICO},
year = {2021},
OPTtype = {Documentos Académicos},
OPTmonth = {Dec}
}