Exportar referência
APA
Malato, Lia, (2024). On the Star Combinatory Calculus : formalization and applications to classical logic. https://repositorio.ulisboa.pt/handle/10400.5/97265 Ferreira, Fernando Jorge Inocêncio, Fonseca, Alcides Miguel Cachulo Aguiar,
IEEE
Malato, Lia, "On the Star Combinatory Calculus : formalization and applications to classical logic", 2024.
BIBTEX
@MastersThesis{63203,
author = {Malato, Lia},
title = {On the Star Combinatory Calculus : formalization and applications to classical logic},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2024},
OPTtype = {Documentos Académicos}
}