History of type theory 类型论简史

你可以在此下载编译好的文件.

You can download the artifacts at the releases page.

本文停止更新，唯一没有完成的部分是类型论的模型。读者可以移步此处.

License

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.