Pages that link to "Item:Q1178704"
From MaRDI portal
The following pages link to Continuations in possible-world semantics (Q1178704):
Displaying 9 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Continuation semantics for flowgraph equations (Q1080651) (← links)
- A generalization of jumps and labels (Q1290331) (← links)
- Algebraic domains of natural transformations (Q1349657) (← links)
- Continuations revisited (Q1566885) (← links)
- Direct semantics and exceptions define jumps and coroutines (Q1824407) (← links)
- Versatility of `continuations' in discourse semantics (Q2892650) (← links)
- Some Applications of Continuations (Q3769941) (← links)
- Logic Based Program Synthesis and Transformation (Q5713940) (← links)