Lectures on the Curry-Howard isomorphism-Elsevier Science (2006) 高清 PDF 时间:2021-10-31 17:56:16 【文件属性】: 文件名称:Lectures on the Curry-Howard isomorphism-Elsevier Science (2006) 高清 PDF 文件大小:37.55MB 文件格式:PDF 更新时间:2021-10-31 17:56:16 函数式编程 这本书通过非常清晰的语言讲述了程序与命题之间的柯里霍华德同构关系 立即下载