Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
type_theory [2016/04/14 11:58] nikolaj |
type_theory [2017/04/14 23:36] nikolaj |
||
---|---|---|---|
Line 4: | Line 4: | ||
=== Reference === | === Reference === | ||
- | http://www.cs.cmu.edu/~rwh/plbook/book.pdf | ||
----- | ----- | ||
=== Related === | === Related === | ||
[[About]], [[Specifying syntax]] | [[About]], [[Specifying syntax]] |