加载中…
2025-05-16
Algebraic Type Theory, Part 1: Martin-Löf algebras
Steve Awodey
文献摘要
A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本