This is an old revision of the document!
Martin-Löf type theory
Meta
todo
Discussion
todo
Reference
todo
Parents
Related
Dependent type theory
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms