100% acharam este documento útil
Carregando
Escolar Documentos
Profissional Documentos
Cultura Documentos
Documento
An Introduction To Martin-Löf Type Theory
Adicionado por Tor Økland Barstad
Documento
Introduction To Dependent Type Theory by Yves Lafont
Adicionado por Tor Økland Barstad