Game Semantics for Call-by-Value Polymorphism
From MaRDI portal
Publication:3587438
DOI10.1007/978-3-642-14162-1_16zbMath1288.68038OpenAlexW1486750497MaRDI QIDQ3587438
Publication date: 7 September 2010
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_16
Related Items
A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus, Game Semantics for Bounded Polymorphism