The following pages link to (Q4725720):
Displayed 11 items.
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)