《Types and Programming Languages》的笔记-第108页

  • 章节名:9.4 The Curry-Howard Correspondence
  • 页码:第108页 2018-06-21 22:04:08
2人阅读

> 龙三的所有笔记(147篇)

龙三对本书的所有笔记  · · · · · ·

  • 第56页

    in Lambda-Calculus: * 应用序(applicative order)先求值参数而后应用 * 正则序(normal or...

  • 第108页
  • 第18页

    预序,偏序,等价关系 A reflexive and transitive relation R on a set S is called a preor...

  • 第34页

说明  · · · · · ·

表示其中内容是对原文的摘抄