Formal categorical reasoning

DOI10.55730/1300-0098.3178MaRDI QIDQ5102205zbMATH OpenOpenAlexFDO

Authors Burak Ekici

Publication date 6 September 2022

Published in Turkish Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.55730/1300-0098.3178

zbMATH Keywords

categorical logicCoq proof assistantdenotational semantics of programming constructsformal proofs

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 4202247
• Abstract categorical logic
• scientific article; zbMATH DE number 1554269
• A formal logic for formal category theory
• A categorial type logic
• Categorical properties of logical frameworks
• Categorial inference and modal logic
• scientific article; zbMATH DE number 2232835
• Logic in category theory
• scientific article; zbMATH DE number 733385

Cites work

• Category theory in Coq 8.5
• Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
• Computer Aided Systems Theory – EUROCAST 2005
• Experience implementing a performant category-theory library in Coq
• Higher order unification via explicit substitutions
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 4189687 (Why is no real title available?)
• Notions of computation and monads

Cited in

(3)

• CatTheo
• Category theory in Isabelle/HOL as a basis for meta-logical investigation
• A comparison of HOL and ALF formalizations of a categorical coherence theorem

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Formal categorical reasoning

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