{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:30:13Z","timestamp":1730280613088,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/lics.2010.47","type":"proceedings-article","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T17:15:39Z","timestamp":1284570939000},"page":"294-303","source":"Crossref","is-referenced-by-count":2,"title":["Infinitary Completeness in Ludics"],"prefix":"10.1109","author":[{"given":"Michele","family":"Basaldella","sequence":"first","affiliation":[]},{"given":"Kazushige","family":"Terui","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084215"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950100336X"},{"key":"ref13","first-page":"285","article-title":"On full abstraction for PCF","volume":"163","author":"hyland","year":"2000","journal-title":"I II and III Inf Comput"},{"key":"ref14","article-title":"Realizability in classical logic","volume":"27","author":"krivine","year":"2008","journal-title":"Panoramas et Syntheses"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.04.006"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(86)80019-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.42"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0052"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45413-6_9"},{"key":"ref3","first-page":"50","article-title":"On the meaning of logical completeness TLCA","author":"basaldella","year":"2009","journal-title":"Extended version available at the homepage of the authors"},{"key":"ref6","first-page":"1","article-title":"Introduction to linear logic and ludics, part II","volume":"35","author":"curien","year":"2006","journal-title":"Advances in Mathematics (China)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00596-1_3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.10.042"},{"key":"ref7","article-title":"Abstract machines for dialogue games","volume":"27","author":"curien","year":"2008","journal-title":"Panoramas et Syntheses"},{"key":"ref2","first-page":"375","article-title":"Ludics with Repetitions (Expo-nentials, Interactive types and Completeness)","author":"basaldella","year":"2009","journal-title":"LICS"},{"key":"ref1","first-page":"1","article-title":"Games for Recursive Types","author":"abramsky","year":"1994","journal-title":"Theory and Formal Methods"},{"key":"ref9","first-page":"148","article-title":"Ludics is a model for the finitary linear picalculus","author":"faggian","year":"2007","journal-title":"TLCA"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500003066"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964006"},{"key":"ref21","article-title":"Computational ludics","author":"terui","year":"2008","journal-title":"To appear in Theor Compo Sci"},{"key":"ref23","first-page":"15","article-title":"Refinement types and computational duality. PLPV","author":"zeilberger","year":"2009"}],"event":{"name":"2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)","start":{"date-parts":[[2010,7,11]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2010,7,14]]}},"container-title":["2010 25th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570020\/5570867\/05571722.pdf?arnumber=5571722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:30:14Z","timestamp":1489869014000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5571722\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/lics.2010.47","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}