类型系统的数学基础：从Lambda演算到依赖类型的深层推导 深入解析类型系统的数学根基，从Untyped Lambda演算到Simply Typed Lambda Calculus，揭示Curry-Howard同构的深层含义，探索依赖类型与形式化验证的工程实践 编程语言 2026年10月24日 0 点赞 0 评论 2 浏览
