This is an old revision of the document!

Martin-Löf type theory

Meta

todo

Discussion

todo

Reference

todo

Parents

Requirements

Dependent type theory, Identity type

Link to graph
Log In
Improvements of the human condition
limeGraphxioms