{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:06Z","timestamp":1725664806827},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605799"},{"type":"electronic","value":"9783540477709"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60579-7_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:42:55Z","timestamp":1330270975000},"page":"120-139","source":"Crossref","is-referenced-by-count":4,"title":["A concrete final coalgebra theorem for ZF set theory"],"prefix":"10.1007","author":[{"given":"Lawrence C.","family":"Paulson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","unstructured":"Abramsky, S., The lazy lambda calculus, In Resesarch Topics in Functional Programming, D. A. Turner, Ed. Addison-Wesley, 1977, pp. 65\u2013116"},{"key":"7_CR2","unstructured":"Aczel, P., Non-Well-Founded Sets, CSLI, 1988"},{"key":"7_CR3","unstructured":"Aczel, P., Mendier, N., A final coalgebra theorem, In Category Theory and Computer Science (1989), D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, A. Poign\u00e9, Eds., Springer, pp. 356\u2013365, LNCS 389"},{"issue":"2","key":"7_CR4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M. Barr","year":"1993","unstructured":"Barr, M., Terminal coalgebras in well-founded set theory, Theoretical Comput. Sci.\n114, 2 (1993), 299\u2013315","journal-title":"Theoretical Comput. Sci."},{"key":"7_CR5","unstructured":"Kunen, K., Set Theory: An Introduction to Independence Proofs, North-Holland, 1980"},{"key":"7_CR6","unstructured":"Milner, R., Communication and Concurrency, Prentice-Hall, 1989"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0304-3975(91)90033-X","volume":"87","author":"R. Milner","year":"1991","unstructured":"Milner, R., Tofte, M., Co-induction in relational semantics, Theoretical Comput. Sci.\n87 (1991), 209\u2013220","journal-title":"Theoretical Comput. Sci."},{"issue":"3","key":"7_CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00881873","volume":"11","author":"L. C. Paulson","year":"1993","unstructured":"Paulson, L. C., Set theory for verification: I. From foundations to functions, J. Auto. Reas.\n11, 3 (1993), 353\u2013389","journal-title":"J. Auto. Reas."},{"key":"7_CR9","unstructured":"Paulson, L. C., Set theory for verification: II. Induction and recursion, Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993, To appear in J. Auto. Reas."},{"key":"7_CR10","unstructured":"Paulson, L. C., A fixedpoint approach to implementing (co)inductive definitions, In 12th Conf. Auto. Deduct. (1994), A. Bundy, Ed., Springer, pp. 148\u2013161, LNAI 814"},{"key":"7_CR11","unstructured":"Quine, W. V., On ordered pairs and relations, In Selected Logic Papers. Random House, 1966, ch. VIII, pp. 110\u2013113, Orginally published 1945\u20136"},{"key":"7_CR12","unstructured":"Rutten, J. J. M. M., Turi, D., On the foundations of final semantics: Non-standard sets, metric spaces, partial orders, In Semantics: Foundations and Applications (1993), J. de Bakker, W.-P. de Roever, G. Rozenberg, Eds., Springer, pp. 477\u2013530, LNCS 666"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60579-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:25:49Z","timestamp":1619558749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60579-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605799","9783540477709"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60579-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}