Verificação de Propriedades do Cálculo lambda-ex em Coq
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_44451ad2-bbfe-4394-882b-0f6915c4351b
- Graduate Program in Informatics Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2010-01-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Organização