Search

• < Previous
• 1
• Next >

Block structure vs scope extrusion: between innocence and omniscience

We study the semantic meaning of block structure using game semantics. To that end, we introduce the notion of block-innocent strategies and characterise call-by-value computation with block-allocated storage through soundness, finite definability and universality results. This puts us in a good&nbsp;[&hellip;]