Homotopy Theoretic Models of Identity Types 论文

2009Figshare引用 234
DOIPDF
Homotopy and Cohomology in Algebraic TopologyAlgebraic Geometry and Number TheoryLogic, programming, and type systems
Logic, programming, and type systemsAlgebraic Geometry and Number TheoryHomotopy and Cohomology in Algebraic Topology
关系图谱

Homotopy Theoretic Models of Identity Types · 相关文章

暂无数据