The following pages link to (Q3138545):
Displayed 5 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)