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

  • 章节名:Ordered Sets
  • 页码:第18页 2019-06-15 19:13:39
5人阅读

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

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

  • 第56页

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

  • 第108页

    The "⟼" type constructor comes with typing rules of two kinds: 1. an introduction ru...

  • 第18页
  • 第34页

  • 第27页

    Definition [Terms, by inference rules]: The set of terms is defined by the following ru...

说明  · · · · · ·

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