Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
foundational_temp1 [2016/04/07 17:33] nikolaj |
foundational_temp1 [2016/06/20 18:04] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Foundational temp1 ===== | ===== Foundational temp1 ===== | ||
- | | [[On syntax]] $\succ$ Foundational temp1 $\succ$ [[]] | | + | | [[Drawing arrows and coding functions]] $\succ$ Foundational temp1 $\succ$ [[Foundational temp1b]] | |
==== Guide ==== | ==== Guide ==== | ||
Line 52: | Line 52: | ||
>**Todo**: Introduce in a chain of entries more and more expressible type theories. The guideline being that each entry is a "faithful subset" of the next. | >**Todo**: Introduce in a chain of entries more and more expressible type theories. The guideline being that each entry is a "faithful subset" of the next. | ||
- | ==== Parents ==== | + | ----- |
=== Sequel of === | === Sequel of === | ||
- | [[On syntax]] | + | [[Drawing arrows and coding functions]] |
- | === Related === | + | |
- | [[On syntax]] | + |