目录
正面事项
第1部分:逻辑基础
Naturals公司 :自然数 归纳 :归纳法证明 关系 :关系的归纳定义 平等 :平等和等式推理 同构 :同构和嵌入 连接词 :连词、析取和蕴涵 否定 :否定,具有直觉和经典逻辑 量词 :普遍性和存在性 可决定 :布尔值和决策程序 列表 :列表和高阶函数
第2部分:编程语言基础
兰姆达 :兰姆达微积分简介 属性 :进度和保存 德布鲁因 :内在类型的de Bruijn表示 更多 :简单类型lambda演算的附加构造 仿真对 :相关还原系统 推断 :双向类型推断 未键入 :完全正规化的非类型lambda演算 汇流 :非类型lambda演算的汇流 大步(BigStep) :非类型lambda演算的大步语义
第三部分:指称语义学
附录
替代 :非类型lambda演算中的替换
背后的事
相关的
教科书中讲授的课程
2023
2022
卢布尔雅那大学安德烈·鲍尔 迈克尔·舒尔曼,圣地亚哥大学 Peter Thiemann,阿尔伯特·卢德维格斯大学 菲利普·沃德勒,爱丁堡大学
2021
明尼苏达大学法沃尼亚分校 滑铁卢大学Prabhakar Ragde Jacques Carette,麦克马斯特大学 (基于Prabhakar的)
2020
2019
Dan Ghica,伯明翰大学 Adrian King,旧金山类型、定理和编程语言会议 滑铁卢大学Prabhakar Ragde 菲利普·沃德勒,爱丁堡大学 菲利普·瓦德勒(Philip Wadler),里约热内卢蓬蒂菲西亚大学
2018
David Darais,佛蒙特大学 菲利普·沃德勒,爱丁堡大学 John Leo,谷歌西雅图