{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:40Z","timestamp":1725662980096},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095262"},{"type":"electronic","value":"9783540350880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09526-8_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:46:34Z","timestamp":1330170394000},"page":"228-236","source":"Crossref","is-referenced-by-count":1,"title":["Computable data types"],"prefix":"10.1007","author":[{"given":"G.","family":"Comyn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Werner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"unstructured":"SCOTT D., Outline of a mathematical theory of computation. Proc. 4th Ann. Princeton Conf. on Information Sciences and Systems, pp. 169\u2013176.","key":"19_CR1"},{"doi-asserted-by":"crossref","unstructured":"SCOTT D., Data types as lattices. SIAM J. Computing, Vol. 5 Nr 3, September 1976.","key":"19_CR2","DOI":"10.1137\/0205037"},{"doi-asserted-by":"crossref","unstructured":"LEHMANN D.J., SMYTH M.B., Data types. 18th Ann. Symp. Fondations of Computer Science, 1977, pp. 7\u201312.","key":"19_CR3","DOI":"10.1109\/SFCS.1977.10"},{"doi-asserted-by":"crossref","unstructured":"SMYTH M.B., PLOTKIN G.D., The Category-Theoretic Solutions of Recursive Domain Equations. 18th Ann. Symp. Foundations of Computer Science, 1977, pp. 13\u201317.","key":"19_CR4","DOI":"10.1109\/SFCS.1977.30"},{"doi-asserted-by":"crossref","unstructured":"THATCHER J.W., WAGNER E.G., WRIGHT J.B., Data Type Specification: Paramaterization and the Power of Specification Techniques. Proceedings of the Tenth Ann. ACM Symp. on Theory Computing 1978, pp. 119\u2013132.","key":"19_CR5","DOI":"10.1145\/800133.804340"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19730191901","volume":"19","author":"Ju. L. Ershov","year":"1973","unstructured":"ERSHOV Ju.L., Theorie der Numerierungen I., Zeitschr. f. math. Logik und Grundlagen d. Math. Bd. 19 (1973), pp. 289\u2013388.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"19_CR7","first-page":"473","volume":"21","author":"Ju. L. Ershov","year":"1975","unstructured":"ERSHOV Ju.L., Theorie der Numerierungen II, same Zeitschr. Bd 21 (1975), pp. 473\u2013584.","journal-title":"same Zeitschr."},{"doi-asserted-by":"crossref","unstructured":"MAYOH B.H., Data Types as Functions, Proceedings MFCS'78, Springer Lecture Notes in Computer Science pp. 56\u201370.","key":"19_CR8","DOI":"10.1007\/3-540-08921-7_56"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1979"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09526-8_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:00:52Z","timestamp":1619542852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09526-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095262","9783540350880"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-09526-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}