第1章引言 ·介绍一个非常简单的、以自然数和布尔值作 为基本类型的、基于类型化λ演算的语言 介绍该语言的语法、公理语义和操作语义 主要议题如下： -λ表示法和λ演算系统概述 类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳第1章 引 言 • 介绍一个非常简单的、以自然数和布尔值作 为基本类型的、基于类型化演算的语言 • 介绍该语言的语法、公理语义和操作语义 • 主要议题如下： – 表示法和演算系统概述 – 类型和类型系统的扼要讨论 – 基于表达式的归纳、基于证明的归纳和良基归纳