Pages that link to "Item:Q4885625"
From MaRDI portal
The following pages link to Inclusions and subtypes I: first-order case (Q4885625):
Displaying 6 items.
- Subtyping can have a simple semantics (Q1177151) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q1391097) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Inclusions and subtypes II: higher-order case (Q4895548) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q5096382) (← links)