Now showing items 1-1 of 1

    • Block Structure vs. Scope Extrusion: Between Innocence and Omniscience 

      Murawski, AS; Tzevelekos, N (IfCoLog (International Federation of Computational Logic), 2016-08-17)
      We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value computation with block-allocated storage through ...