第22章 章节22.2 练习22.2.3 题目： Find three different solutions for the term $$\lambda \text{x}: \text{X. } \lambda \text{y}: \text{Y. } \lambda \text{z}: \text{Z. } (\text{x z}) (\text{y z})$$ in the empty context. 解答： ($[\text{X} \mapsto \text{Z} \to \text{Z} \to \text{Z}, \text{Y} \mapsto \text{Z} \to \text{Z}], \text{Z})$ (\( [\text{X}

第3版习题停更说明 本文的习题是第3版的习题，现在第4版已经出了，改更第4版的习题，第3版系列文章停止更新。 第2章 练习2.A 练习2.A.1 题目

第3版习题停更说明 本文的习题是第3版的习题，现在第4版已经出了，改更第4版的习题，第3版系列文章停止更新。 前言 本书风格类似陶哲轩Analys

前言 Dominator 的计算在编译器优化、程序分析等领域会用到，本文章将详细讲解 Dominator ，给出相关的定义，描述相关的性质，并给出性质的证明。 注 1： 本文中的图都是有

第21章 章节21.1 练习21.1.7 题目： Suppose a generating function $E_2$ on the universe $\{ a, b, c \}$ is defined by the following inference rules: $$\dfrac{}{a} \quad \dfrac{c}{b} \quad \dfrac{a \quad b}{c}$$ Write out the set of pairs in the relation $E_2$ explicitly, as we did

第20章 章节20.1 练习20.1.1 题目： One presentation of labeled binary trees defines a tree to be either a leaf (with no label) or else an interior node with a numeric label and two child trees. Define a type $\text{NatTree}$ and suitable operations for constructing, destructing, and testing trees. Write a function that