100% encontró este documento útil
Cargando
Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Documento
An Introduction To Martin-Löf Type Theory
Agregado por Tor Økland Barstad
Documento
Introduction To Dependent Type Theory by Yves Lafont
Agregado por Tor Økland Barstad