Morphism equality in theory graphs

DOI10.1007/978-3-031-42753-4_12OpenAlexW4386297677MaRDI QIDQ6118829

Florian Rabe, Franziska Weber

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_12

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A scalable module system
• IMPS: An interactive mathematical proof system
• Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
• A framework for defining logics
• Realms: A Structure for Consolidating Knowledge about Mathematical Theories

This page was built for publication: Morphism equality in theory graphs