{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:37:17Z","timestamp":1757543837902},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1983,12,1]],"date-time":"1983-12-01T00:00:00Z","timestamp":439084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1983,12]]},"DOI":"10.1007\/bf02023009","type":"journal-article","created":{"date-parts":[[2005,8,12]],"date-time":"2005-08-12T08:01:33Z","timestamp":1123833693000},"page":"21-26","source":"Crossref","is-referenced-by-count":24,"title":["\u03bb-definable functionals and\u03b2\u03b7 conversion"],"prefix":"10.1007","volume":"23","author":[{"given":"R.","family":"Statman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02023009_CR1","volume-title":"Combinatory logic, Vol. 1","author":"H.B. Curry","year":"1968","unstructured":"Curry, H.B., Feys, R.: Combinatory logic, Vol. 1. Amsterdam: North-Holland 1968."},{"key":"BF02023009_CR2","first-page":"22","volume-title":"Lecture Notes in Mathematics, Vol. 453","author":"H. Friedman","year":"1975","unstructured":"Friedman, H.: Equality between functionals. In: Parikh, R. (ed.): Lecture Notes in Mathematics, Vol. 453, pp. 22\u201337. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02023009_CR3","volume-title":"Combinatory logic, lambda calculus, and formal systems","author":"G.D. Plotkin","year":"1980","unstructured":"Plotkin, G.D.: Lambda definability in the full type hierarchy. In: Hindley, R., Seldin, J. (eds.): Combinatory logic, lambda calculus, and formal systems. New York: Academic Press 1980."},{"key":"BF02023009_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(79)90007-0","volume":"9","author":"R. Statman","year":"1979","unstructured":"Statman, R.: The typed\u03bb-calculus is not elementary recursive. Theor. Comp. Sci.9, 73\u201381 (1979).","journal-title":"Theor. Comp. Sci."},{"key":"BF02023009_CR5","unstructured":"Statman, R.: Completeness, invariance, and\u03bb-definability. J. Symb. Logic (to appear)."},{"key":"BF02023009_CR6","volume-title":"Combinatory logic, lambda calculus, and formal systems","author":"R. Statman","year":"1980","unstructured":"Statman, R.: On the existence of closed terms in the typed\u03bb-calculus. I. In: Hindley, R., Seldin, J. (eds.): Combinatory logic, lambda calculus, and formal systems. New York: Academic Press 1980."},{"key":"BF02023009_CR7","unstructured":"Zucker, J.: Proof theoretic studies of systems of iterated inductive definitions and subsystems of analysis. Dissertation, Stanford Univ. Dept. of Math. (1971)."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02023009.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02023009\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02023009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:39:56Z","timestamp":1557772796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02023009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,12]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,12]]}},"alternative-id":["BF02023009"],"URL":"https:\/\/doi.org\/10.1007\/bf02023009","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,12]]}}}