{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172440},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645702"},{"type":"electronic","value":"9783540693536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028007","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:02:06Z","timestamp":1132642926000},"page":"56-77","source":"Crossref","is-referenced-by-count":15,"title":["Timeless games"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Baillot","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Danos","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Ehrhard","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Regnier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Samson Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59:543\u2013574, 1994.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Theoretical Aspects of Computer Software. International Symposium TA CS'94","author":"S. Abramsky","year":"1994","unstructured":"Samson Abramsky, Radha Jagadeesan, and Pasquale Malacaria. Full abstraction for PCF (extended abstract). In Masami Hagiya and John C. Mitchell, editors, Theoretical Aspects of Computer Software. International Symposium TA CS'94, number 789 in Lecture Notes in Computer Science, pages 1\u201315, Sendai, Japan, April 1994. Springer-Verlag."},{"key":"4_CR3","unstructured":"Samson Abramsky, Radha Jagadeesan, and Pasquale Malacaria. Full abstraction for PCF (submitted for publication. available by ftp on theory.doc.ic.ac.uk, November 1995."},{"key":"4_CR4","unstructured":"Patrick Baillot, Vincent Danos, Thomas Ehrhard, and Laurent Regnier. Believe it or not, AJM's games model is a model of classical linear logic. In Proceedings of the 12\nth\nSymposium on Logic in Computer Science, Warsaw, 1997. IEEE Computer Society Press."},{"key":"4_CR5","unstructured":"Pierre-Louis Curien and Hugo Herbelin. Computing with abstract B\u00f6hm trees. Manuscript, 1996."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Vincent Danos, Hugo Herbelin, and Laurent Regnier. Games semantics and abstract machines. In Proceedings of the 11th Symposium on Logic in Computer Science, New Brunswick, 1996. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1996.561456"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Thomas Ehrhard. Projecting sequential algorithms on strongly stable functions. Annals of Pure and Applied Logic, 77(3), February 1996.","DOI":"10.1016\/0168-0072(95)00026-7"},{"key":"4_CR8","unstructured":"Thomas Ehrhard. A relative PCF-definability result for strongly stable functions and some corollaries. To appear in Information and Computation, 1997."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","unstructured":"F. Lamarche. Sequentiality, games and linear logic (announcement). In Workshop on Categorical Logic in Computer Science. Publications of the Computer Science Department of Aarhus University, DAIMI PB-397-II, 1992."},{"key":"4_CR11","unstructured":"Pasquale Malacaria. Personnal communication, 1993."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T05:45:54Z","timestamp":1549345554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645702","9783540693536"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0028007","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}