The borrowability of structural categories 论文

2007引用 365
Homotopy and Cohomology in Algebraic TopologyPhilosophy and Theoretical ScienceLogic, programming, and type systems

The borrowability of structural categories · 作者