Pages that link to "Item:Q801667"
From MaRDI portal
The following pages link to A systematic study of models of abstract data types (Q801667):
Displaying 6 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Partial abstract types (Q1169290) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- My ADT Shrine (Q2890319) (← links)
- Observational implementations (Q5096143) (← links)
