The following pages link to Semantics of computation (Q4062639):
Displaying 10 items.
- Equational type logic (Q752689) (← links)
- Code selection by inversion of order-sorted derivors (Q914361) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- A hidden agenda (Q1575735) (← links)
- Completeness of category-based equational deduction (Q4847310) (← links)
