文件名称：lectures on the curry-howard Isomorphism
文件大小：1.27MB
文件格式：PDF
更新时间：2014-09-04 14:36:02
programming logic languages theory
The idea is called curry-howard Isomorphism that relates languages and logic. The book provides a modern view of the relation,and covers a lot of languages(STLC, polymorphism, lambda cube) and logic(proposition, first-order, high-order).