Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção

Detalhes bibliográficos
Ano de defesa: 2010
Autor(a) principal: Ventura, Daniel Lima
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://repositorio.unb.br/handle/10482/8787
Resumo: Dissertação (Mestrado em Matemática)-Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Brasília, 2010.