专题类型系统TAPL 类型系统学习TAPL 数学预备知识：集合、关系与函数 集合、关系、函数、偏函数、全函数与保持性的基础整理。 01 TAPL 数学预备知识：有序集、序列与归纳法 关系性质、有序结构、序列、归纳法、字典序归纳与闭包证明。 02