Formal categorical reasoning

DOI10.55730/1300-0098.3178OpenAlexW4285138336MaRDI QIDQ5102205

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

formal proofscategorical logicCoq proof assistantdenotational semantics of programming constructs

Mathematics Subject Classification ID

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

Related Items (1)

CatTheo

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
• Higher order unification via explicit substitutions
• Experience Implementing a Performant Category-Theory Library in Coq
• Category Theory in Coq 8.5
• Computer Aided Systems Theory – EUROCAST 2005

This page was built for publication: Formal categorical reasoning