Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Salvato in:
| Autore principale: | |
|---|---|
| Data di pubblicazione: | 2010 |
| Natura: | Master thesis |
| Lingua: | por |
| Fonte: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/6601 |
Riassunto: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. |
Documenti analoghi: Uma formalização da composicionalidade do cálculo lambda-ex em Coq
- Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
- Formalização da terminação de especificações funcionais
- Uma formalização da teoria nominal em Coq
- Um estudo sobre verificação formal de sistemas concorrentes
- Verificação de propriedades do cálculo גex em Coq
- LUACOMP : ferramenta de autoria de aplicações para tv digital