Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
foundational_temp1 [2016/04/07 17:27] nikolaj |
foundational_temp1 [2016/05/08 16:14] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Foundational temp1 ===== | ===== Foundational temp1 ===== | ||
| - | | [[On syntax]] $\succ$ $\succ$ [[]] | | + | | [[Drawing arrows and coding functions]] $\succ$ Foundational temp1 $\succ$ [[]] | |
| ==== 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]] | + | |
