Pages that link to "Item:Q1391731"
From MaRDI portal
The following pages link to The definition of Extended ML: A gentle introduction (Q1391731):
Displaying 8 items.
- Functorial semantics of first-order views (Q344796) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Types for modules (Q2375744) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
