Agregando polimorfismo a una lógica que identifica proposiciones isomorfas

Detalles Bibliográficos
Autor Principal:	Sottile, Cristian
Otros autores o Colaboradores:	Díaz Caro, Alejandro (Director/a), Pons, Claudia Fabiana (Codirector/a)
Formato:	Tesis
Lengua:	español
Datos de publicación:	2020
Temas:	CÁLCULO LAMBDA POLIMORFISMO teoría de tipos
Acceso en línea:	http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2397 Consultar en el Cátalogo
Descripción Física:	1 archivo (3,1 MB)

Ejemplares similares