Structure-preserving diagram operators

DOI10.1007/978-3-030-73785-6_8OpenAlexW3156173054MaRDI QIDQ2237343

Florian Rabe, Navid Roux

Publication date: 27 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-73785-6_8

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A scalable module system
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Specifications in an arbitrary institution
• IMPS: An interactive mathematical proof system
• Specifying with syntactic theory functors
• Leveraging the information contained in theory presentations
• Diagram combinators in MMT
• Morphism axioms
• Towards Logical Frameworks in the Heterogeneous Tool Set Hets
• Theory Presentation Combinators
• Elaborator reflection: extending Idris in Idris
• How to identify, translate and combine logics?
• Packaging Mathematical Structures
• A framework for defining logics
• Institutions: abstract model theory for specification and programming
• Project Abstract: Logic Atlas and Integrator (LATIN)
• Canonical Selection of Colimits

This page was built for publication: Structure-preserving diagram operators