{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:35:47Z","timestamp":1742985347251,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642403545"},{"type":"electronic","value":"9783642403552"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40355-2_3","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T22:59:15Z","timestamp":1377817155000},"page":"18-26","source":"Crossref","is-referenced-by-count":1,"title":["An Ontology of States"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Polonsky","sequence":"first","affiliation":[]},{"given":"Henk","family":"Barendregt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Tarski, A.: Introduction to logic and to the methodology of deductive sciences. Oxford university press (1941)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Gunter, C.A., Scott, D.S.: Semantic Domains. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 633\u2013674 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50017-2"},{"key":"3_CR3","unstructured":"Plasmeijer, R., van Eekelen, M.: Functional programming and parallel graph rewriting. Addison-wesley (1993)"},{"issue":"01","key":"3_CR4","first-page":"81","volume":"5","author":"P. Achten","year":"1995","unstructured":"Achten, P., Plasmeijer, R.: The Ins and Outs of Clean I\/O. JFP\u00a05(01), 81\u2013110 (1995)","journal-title":"JFP"},{"key":"3_CR5","unstructured":"Lijnse, B.: TOP to the Rescue. PhD thesis (2013)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-Oriented Programming in a Pure Functional Language. In: Proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP 2012, Leuven, Belgium, pp. 195\u2013206 (2012)","DOI":"10.1145\/2370776.2370801"}],"container-title":["Lecture Notes in Computer Science","The Beauty of Functional Code"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40355-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:14:06Z","timestamp":1558304046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40355-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642403545","9783642403552"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40355-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}