Algebraic Operations and Generic Effects 论文

2003Applied Categorical Structures引用 255

Logic, programming, and type systemsHomotopy and Cohomology in Algebraic TopologyLogic, Reasoning, and Knowledge

Logic, Reasoning, and Knowledge Logic, programming, and type systems Homotopy and Cohomology in Algebraic Topology

2

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (2)

John Power

Gordon Plotkin

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据