{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:17:38Z","timestamp":1725794258786},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319071503"},{"type":"electronic","value":"9783319071510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_19","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:30:14Z","timestamp":1400729414000},"page":"302-318","source":"Crossref","is-referenced-by-count":1,"title":["How Many Numbers Can a Lambda-Term Contain?"],"prefix":"10.1007","author":[{"given":"Pawe\u0142","family":"Parys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Barendregt, H., Dekkers, W., Statman, R.: Lambda calculus with types. In: Perspectives in Logic. Cambridge University Press (2013)","DOI":"10.1017\/CBO9781139032636"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Parys, P.: On the significance of the collapse operation. In: LICS, pp. 521\u2013530. IEEE (2012)","DOI":"10.1109\/LICS.2012.62"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Kobayashi, N.: Pumping by typing. In: LICS, pp. 398\u2013407. IEEE Computer Society (2013)","DOI":"10.1109\/LICS.2013.46"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF02276799","volume":"17","author":"H. Schwichtenberg","year":"1976","unstructured":"Schwichtenberg, H.: Definierbare funktionen im lambda-kalkl mit typen. Archiv Logic Grundlagenforsch\u00a017, 113\u2013114 (1976)","journal-title":"Archiv Logic Grundlagenforsch"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(79)90007-0","volume":"9","author":"R. Statman","year":"1979","unstructured":"Statman, R.: The typed lambda-calculus is not elementary recursive. Theor. Comput. Sci.\u00a09, 73\u201381 (1979)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90077-6","volume":"52","author":"M. Zaionc","year":"1987","unstructured":"Zaionc, M.: Word operation definable in the typed lambda-calculus. Theor. Comput. Sci.\u00a052, 1\u201314 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"19_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10990-007-9018-9","volume":"20","author":"J.L. Krivine","year":"2007","unstructured":"Krivine, J.L.: A call-by-name lambda-calculus machine. Higher-Order and Symbolic Computation\u00a020(3), 199\u2013207 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"19_CR8","unstructured":"Lang, M.: Resource-bounded reachability on pushdown systems. Master\u2019s thesis, RWTH Aachen (2011)"},{"key":"19_CR9","unstructured":"Chatterjee, K., Fijalkow, N.: Infinite-state games with finitary conditions. In: Rocca, S.R.D. (ed.) CSL. LIPIcs, vol.\u00a023, pp. 181\u2013196. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T09:41:45Z","timestamp":1689241305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}