{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:37:49Z","timestamp":1725471469177},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_21","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"313-322","source":"Crossref","is-referenced-by-count":2,"title":["Morphisms and Partitions of V-sets"],"prefix":"10.1007","author":[{"given":"Rick","family":"Statman","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"The Lambda Calculus","author":"H. Barendregt","year":"1983","unstructured":"Barendregt, H.: The Lambda Calculus. North Holland, Amsterdam (1983)"},{"key":"21_CR2","volume-title":"Theory of Recursive Functions","author":"H. Rogers","year":"1967","unstructured":"Rogers, H.: Theory of Recursive Functions. McGraw Hill, New York (1967)"},{"key":"21_CR3","volume-title":"Recursively Enumerable Sets and Degrees","author":"R. Soare","year":"1993","unstructured":"Soare, R.: Recursively Enumerable Sets and Degrees. Springer, Heidelberg (1993)"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(89)90148-5","volume":"66","author":"R. Statman","year":"1989","unstructured":"Statman, R.: On sets of solutions to combinator equations. TCS\u00a066, 99\u2013104 (1989)","journal-title":"TCS"},{"key":"21_CR5","unstructured":"Statman, R.: The Visser fixed point theorem (unpublished manuscript)"},{"key":"21_CR6","unstructured":"Combinators hereditarily of order two, CMU Math. Dept. Research Report 88-33 (1988)"},{"key":"21_CR7","first-page":"259","volume-title":"Curry: Essays On Combinatory Logic, Lambda Calculus, And Formalism","author":"R. Statman","year":"1972","unstructured":"Statman, R., Visser, A.: Numerations, lambda calculus, and arithmetic in To H.B. In: Hindley, J.R., Seldin, J.P. (eds.) Curry: Essays On Combinatory Logic, Lambda Calculus, And Formalism, pp. 259\u2013284. Academic Press, London (1972)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:29:38Z","timestamp":1558294178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/10703163_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}