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

Saved in:

Bibliographic Details
Main Author:	Barros, Flávio José Ferro
Publication Date:	2010
Format:	Master thesis
Language:	por
Source:	Repositório Institucional da UnB
Download full:	http://repositorio.unb.br/handle/10482/6601
Summary:	Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010.

Internet