Pages that link to "Item:Q1178704"

The following pages link to Continuations in possible-world semantics (Q1178704):

Displaying 2 items.

• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
• Algebraic domains of natural transformations (Q1349657) (← links)