Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
martin-loef_type_theory [2014/11/10 20:30] nikolaj |
martin-loef_type_theory [2014/11/10 20:32] nikolaj |
||
---|---|---|---|
Line 4: | Line 4: | ||
==== Discussion ==== | ==== Discussion ==== | ||
=== Reference === | === Reference === | ||
+ | Wikipedia: [[http://en.wikipedia.org/wiki/Intuitionistic_type_theory|Intuitionistic type theory]] | ||
==== Parents ==== | ==== Parents ==== | ||
=== Requirements === | === Requirements === | ||
- | [[Dependent type theory]], [[Identity type]] | + | [[Identity type]] |