Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
martin-loef_type_theory [2014/11/10 20:32] nikolaj |
martin-loef_type_theory [2014/11/11 11:12] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Martin-Löf type theory ===== | ===== Martin-Löf type theory ===== | ||
- | ==== Meta ==== | + | ==== Framework ==== |
A [[Dependent type theory]] with [[Identity type]]. Or rather it's an umbrella term for several closely related such theories. | A [[Dependent type theory]] with [[Identity type]]. Or rather it's an umbrella term for several closely related such theories. | ||
==== Discussion ==== | ==== Discussion ==== |