Export
APA
Reis, Sílvia da Conceição Alexandre, (2014). Unificação das interpretações funcionais : via lógica linear intuicionista . Ferreira, Fernando , Ferreira, Gilda Maria Saraiva Dias,
IEEE
Reis, Sílvia da Conceição Alexandre, "Unificação das interpretações funcionais : via lógica linear intuicionista ", 2014.
BIBTEX
@MastersThesis{58565,
author = {Reis, Sílvia da Conceição Alexandre},
title = {Unificação das interpretações funcionais : via lógica linear intuicionista },
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2014},
OPTtype = {Documentos Académicos}
}