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

###### 龙三(の日常)
• 章节名：Untyped Arithmetic Expressions
• 页码：第34页 2019-06-17 18:55:37
7人阅读

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

• ###### 第108页

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

• ###### 第18页

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

• ###### 第27页

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

• ###### 第56页

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