Abstract Machines for Game Semantics, Revisited
From MaRDI portal
Publication:5271094
DOI10.1109/LICS.2013.63zbMath1366.68022arXiv1304.4159OpenAlexW2124894117MaRDI QIDQ5271094
Olle Fredriksson, Dan R. Ghica
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.4159
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Abstract Machines for Game Semantics, Revisited
