scientific article; zbMATH DE number 1863382

zbMATH Open1005.18001MaRDI QIDQ4790657FDOQ4790657

Authors: Mario Caccamo, Glynn Winskel 

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520136

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

Recommendations

• Automating Proofs in Category Theory
• scientific article; zbMATH DE number 3875278
• scientific article; zbMATH DE number 4027428
• scientific article; zbMATH DE number 3985475
• scientific article; zbMATH DE number 3999258

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Foundations, relations to logic and deductive systems (18A15)

Cited In (8)

• On stability of exactness properties under the pro-completion
• Towards an axiomatization of the theory of higher categories
• The rôle of categorical structures in infinitesimal calculus
• A formal logic for formal category theory
• A first-order calculus for allegories
• Towards a readable formalisation of category theory
• Title not available (Why is that?)
• Nuprl as logical framework for automating proofs in category theory

Uses Software

• Isabelle
• LEGO

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 Q4790657)