https://www.foldright.com/tutorials/type-system/Recent content in 类型系统 on FoldRightHugo -- gohugo.ioenhttps://www.foldright.com/tutorials/type-system/tapl-math-preliminaries/Mon, 01 Jan 0001 00:00:00 +0000https://www.foldright.com/tutorials/type-system/tapl-math-preliminaries/集合、关系、函数、偏函数、全函数与保持性的基础整理。https://www.foldright.com/tutorials/type-system/tapl-chapter-2-math-preliminaries/Mon, 01 Jan 0001 00:00:00 +0000https://www.foldright.com/tutorials/type-system/tapl-chapter-2-math-preliminaries/关系性质、有序结构、序列、归纳法、字典序归纳与闭包证明。