Terminal coalgebras in well-founded set theory 论文

1993Theoretical Computer Science引用 269
DOI
Homotopy and Cohomology in Algebraic TopologyLogic, programming, and type systemsRings, Modules, and Algebras
Logic, programming, and type systemsHomotopy and Cohomology in Algebraic TopologyRings, Modules, and Algebras
关系图谱

Terminal coalgebras in well-founded set theory · 相关技术

暂无数据