Trunks and classifying spaces 论文

1995Applied Categorical Structures引用 215
Geometric and Algebraic TopologyHomotopy and Cohomology in Algebraic TopologyLogic, programming, and type systems

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据