材料

参考书目

《Software Foundations》，在线书籍

• 网址：https://softwarefoundations.cis.upenn.edu/
• 由志愿者维护的中文翻译版：https://coq-zh.github.io/SF-zh/

本课程将用到该书籍的第一卷Logic Foundations和第二卷Programming Language Foundations。

在线书籍实时更新，本课程本年讲授的时候将采用最新版书籍。