Lectures on the Curry-Howard isomorphism-Elsevier Science (2006) 高清 PDF

【文件属性】：

文件名称：Lectures on the Curry-Howard isomorphism-Elsevier Science (2006) 高清 PDF

文件大小：37.55MB

文件格式：PDF

更新时间：2021-10-31 17:56:16

函数式编程

这本书通过非常清晰的语言讲述了程序与命题之间的柯里霍华德同构关系