Block Structure vs. Scope Extrusion: Between Innocence and Omniscience

DOI10.1007/978-3-642-12032-9_4zbMath1284.68106OpenAlexW1533240139MaRDI QIDQ3557842

Andrzej S. Murawski, Nikos Tzevelekos

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Full abstraction for Reduced ML, Block structure vs scope extrusion: between innocence and omniscience, Algorithmic Nominal Game Semantics, A Fragment of ML Decidable by Visibly Pushdown Automata