Introduction to extensive and distributive categories 论文

1993Journal of Pure and Applied Algebra引用 286
Homotopy and Cohomology in Algebraic TopologyLogic, programming, and type systems