Bad Variables Under Control

DOI10.1007/978-3-540-74915-8_41zbMath1179.68020OpenAlexW1541178342MaRDI QIDQ3608438

Andrzej S. Murawski

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_41

Mathematics Subject Classification ID

Applications of game theory (91A80) Theory of programming languages (68N15)

Related Items (5)

Full Abstraction Without Synchronization Primitives ⋮ Full abstraction for Reduced ML ⋮ Global State Considered Helpful ⋮ Full Abstraction for Reduced ML ⋮ An Algebraic Account of References in Game Semantics

This page was built for publication: Bad Variables Under Control