Trebor-Huang/history

This is stars and forks stats for /Trebor-Huang/history repository. As of 09 May, 2024 this repository has 273 stars and 5 forks.

History of type theory 类型论简史 You can download the artifacts at the releases page. 你可以在此下载编译好的文件. An overview of the history of type theory, mainly for mathematically oriented people. I seek to achive these goals: Provide a coherent and up-to-date source of information in Chinese. Link to important books and papers I recommend reading. Clear up some important misunderstandings. This is my coursework. I have already finished the submitted version d0aaf51, but this is still being actively expanded (mostly...