研究意象却不用内语言, 就像吃寿司却不蘸酱油.
数学物理爱好者, 现代几何学爱好者, 同伦类型论与综合无穷范畴爱好者, Urs Schreiber 粉丝.
1 单纯类型论的另一种方案
2 类型论术语中文翻译计划
以下是从网络上🇰🇷的实例.