Uma formalização da composicionalidade do cálculo lambda-ex em Coq
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| تاريخ النشر: | 2010 |
| التنسيق: | Master thesis |
| اللغة: | por |
| المصدر: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/6601 |
الملخص: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. |
| الملخص: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. |
|---|