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 | ||
type_theory [2015/10/10 12:14] nikolaj |
type_theory [2016/04/14 11:58] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Type theory ===== | ===== Type theory ===== | ||
- | ==== Framework ==== | + | ==== Note ==== |
----- | ----- | ||
+ | |||
+ | === Reference === | ||
+ | http://www.cs.cmu.edu/~rwh/plbook/book.pdf | ||
----- | ----- | ||
=== Related === | === Related === | ||
[[About]], [[Specifying syntax]] | [[About]], [[Specifying syntax]] |