Uma formalização da composicionalidade do cálculo lambda-ex em Coq

Não existem arquivos associados a este item.
Título: 
Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
26-Jan-2011
26-Jan-2011
26-Jan-2011
19-Jul-2010
Tipo: 
Palavras-chave: 
Aparece nas coleções:Repositório Institucional – UNB