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

  • 章节名:Terms, by inference rules
  • 页码:第27页 2019-06-18 11:01:24
4人阅读

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

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

  • 第18页

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

  • 第34页

  • 第27页
  • 第56页

    Several different evaluation strategies for the lambda-calculus have been studied over ...

  • 第39页

说明  · · · · · ·

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