Publisher
Cambridge University Press
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Issues of Logic, Algebra and Topology in Ontology;Theory and Applications of Ontology: Computer Applications;2010
2. Category Theory as a Mathematics for Formalizing Ontologies;Theory and Applications of Ontology: Computer Applications;2010
3. Selective attribute elimination for categorical data specifications;Algebraic Methodology and Software Technology;1997
4. Constructive theory of the lower power locale;Mathematical Structures in Computer Science;1996-02
5. A presheaf semantics of value-passing processes;CONCUR '96: Concurrency Theory;1996