100% au considerat acest document util
Încărcare
Documente Academic
Documente Profesional
Documente Cultură
Document
An Introduction To Martin-Löf Type Theory
Adăugat de Tor Økland Barstad
Document
Introduction To Dependent Type Theory by Yves Lafont
Adăugat de Tor Økland Barstad