2.1引 言 本章主要内容： -代数项和它们在多类别代数中的解释 等式规范（也叫代数规范)和等式证明系统 等式证明系统的可靠性和完备性（公理语义和指 称语义的等价) 代数之间的同态关系和初始代数 -数据类型的代数理论 -从代数规范导出的重写规则 (操作语义) 包括了大多数逻辑系统中的一些公共议题2.1 引 言 • 本章主要内容： – 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指 称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义） 包括了大多数逻辑系统中的一些公共议题