Pages that link to "Item:Q913527"
From MaRDI portal
The following pages link to Semantical analysis of specification logic (Q913527):
Displaying 14 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Universal Properties in Quantum Theory (Q3385637) (← links)
- A model for syntactic control of interference (Q4286528) (← links)
- Note on Algol and conservatively extending functional programming (Q4880529) (← links)
