The following pages link to (Q4944854):
Displaying 4 items.
- Exploring the structure of an algebra text with locales (Q2209550) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- Modeling abstract types in modules with open existential types (Q5261533) (← links)