Martin-Löf type theory

Framework

A Dependent type theory with Identity type. Or rather it's an umbrella term for several closely related such theories.


Reference

Requirements

Link to graph
Log In
Improvements of the human condition