scientific article; zbMATH DE number 3995941

zbMATH Open0615.18005MaRDI QIDQ4723931FDOQ4723931

Authors: Steven Vickers, Michael Paul Fourman 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• Logic and categories as tools for building theories
• scientific article; zbMATH DE number 4027466
• A categorical manifesto
• scientific article; zbMATH DE number 67034
• A categorial approach to the theory of computation

zbMATH Keywords

classifying topoï

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Foundations, relations to logic and deductive systems (18A15)

Cited In (8)

• Computer Aided Systems Theory – EUROCAST 2005
• Title not available (Why is that?)
• Categories in Context: Historical, Foundational, and Philosophical
• Continuity and geometric logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic and categories as tools for building theories
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723931)