{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:27:21Z","timestamp":1729643241900,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/lics.2013.63","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T11:40:25Z","timestamp":1376480425000},"page":"560-569","source":"Crossref","is-referenced-by-count":11,"title":["Abstract Machines for Game Semantics, Revisited"],"prefix":"10.1109","author":[{"given":"Olle","family":"Fredriksson","sequence":"first","affiliation":[]},{"given":"Dan R.","family":"Ghica","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"133","article-title":"Exceptions, continuations and macroexpressiveness","author":"laird","year":"2002","journal-title":"Programming Languages and Systems 11th European Symposium on Programming ESOP 2002 Held As Part of the Joint European Conference on Theory and Practice of Software ETAPS 2002"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1007\/978-3-540-78739-6_23"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1145\/224164.224189"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1006\/inco.2000.2917"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1016\/j.entcs.2012.08.013"},{"key":"16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0049-237X(08)70271-4","article-title":"Geometry of interaction 1: Interpretation of System F","volume":"127","author":"girard","year":"1989","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"year":"2011","author":"ghica","journal-title":"Function interface models for hardware compilation","first-page":"131","key":"13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1016\/j.apal.2007.10.005"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1145\/1040305.1040313"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/LICS.2009.26"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/BFb0032030"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1145\/96709.96717"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1145\/199448.199483"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1017\/S0956796804005398"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1006\/inco.2000.2930"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/LICS.1999.782617"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/LICS.2005.25"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/S0304-3975(99)00049-3"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/LICS.1996.561456"},{"year":"2007","author":"curien","journal-title":"CoRR","article-title":"Abstract machines for dialogue games","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1016\/j.entcs.2012.08.012"},{"year":"2012","author":"fredriksson","journal-title":"Trustworthy Global Computing","article-title":"Seamless distributed computing from the geometry of interaction","key":"8"}],"event":{"name":"2013 Twenty-Eighth Annual IEEE\/ACM Symposium on Logic in Computer Science (LICS 2013)","start":{"date-parts":[[2013,6,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2013,6,28]]}},"container-title":["2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570844\/6571519\/06571589.pdf?arnumber=6571589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T13:49:49Z","timestamp":1498052989000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6571589\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/lics.2013.63","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}