A categorical manifesto 论文

1991Mathematical Structures in Computer Science引用 232
DOI
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgePhilosophy and History of Science
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgePhilosophy and History of Science
相关技术:Computability, Logic, AI Algorithms
关系图谱

A categorical manifesto · 作者

J

Joseph A. Goguen