Il 100% ha trovato utile questo documento
Caricamento
Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Documento
An Introduction To Martin-Löf Type Theory
Aggiunto da Tor Økland Barstad
Documento
Introduction To Dependent Type Theory by Yves Lafont
Aggiunto da Tor Økland Barstad