Introduction to extensive and distributive categories 论文

1993Journal of Pure and Applied Algebra引用 286
DOI
Homotopy and Cohomology in Algebraic TopologyLogic, programming, and type systems
Logic, programming, and type systemsHomotopy and Cohomology in Algebraic Topology
关系图谱

Introduction to extensive and distributive categories · 相关技术

暂无数据