Pages that link to "Item:Q1575885"
From MaRDI portal
The following pages link to Syntactic control of interference revisited (Q1575885):
Displaying 12 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- Categorical Models of Syntactic Control of Intereference Revisited, Revisited (Q3091944) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- Modelling Local Variables: Possible Worlds and Object Spaces (Q3178266) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)