Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]
Link to graph
Log In
Improvements of the human condition