西南大学：《系统功能语言学 Systemic Functional Linguistics》课程教学讲义_Part II Above, Below and Beyond the Clause 11 Beyond the clause - Metaphorical modes of expression

西南大学：《系统功能语言学 Systemic Functional Linguistics》课程教学讲义_Part II Above, Below and Beyond the Clause 10 Beside the clause - Intonation and rhythm

西南大学：《系统功能语言学 Systemic Functional Linguistics》课程教学讲义_Part II Above, Below and Beyond the Clause 09 Around the clause - Cohesion and discourse

西南大学：《系统功能语言学 Systemic Functional Linguistics》课程教学讲义_Part II Above, Below and Beyond the Clause 08 Group and phrase complexes

西南大学：《系统功能语言学 Systemic Functional Linguistics》课程教学讲义_Part II Above, Below and Beyond the Clause 07 Above the clause - The clause complex

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

西南大学：《系统功能语言学 Systemic Functional Linguistics》课程教学讲义_Part II Above, Below and Beyond the Clause 06 Below the clause - Groups and phrases

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型