Bad Variables Under Control
From MaRDI portal
Publication:3608438
DOI10.1007/978-3-540-74915-8_41zbMath1179.68020MaRDI QIDQ3608438
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
Related Items
Global State Considered Helpful, Full abstraction for Reduced ML, An Algebraic Account of References in Game Semantics, Full Abstraction Without Synchronization Primitives, Full Abstraction for Reduced ML