{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:29:15Z","timestamp":1758274155672},"reference-count":10,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1994,10,1]]},"DOI":"10.1305\/ndjfl\/1040408610","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:35:43Z","timestamp":1046208943000},"source":"Crossref","is-referenced-by-count":3,"title":["Some Results on Numeral Systems in $\\lambda$-Calculus"],"prefix":"10.1215","volume":"35","author":[{"given":"Benedetto","family":"Intrigila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Barendregt, H., <i>The Lambda Calculus<\/i>, Studies in Logic, vol. 103, North-Holland, Amsterdam, 1984. Zbl 0551.03007 MR 86a:03012"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Barendsen, E., \u201cTheoretical pearls: an unsolvable numeral system in lambda-calculus,\" <i>Journal of Functional Programming<\/i>, vol. 1 (1991), pp. 367\u201372. Zbl 0941.03513 MR 93g:03012","DOI":"10.1017\/S0956796800000149"},{"key":"3","unstructured":"B\u00f6hm, C., \u201cCuch as a formal and description language,\" pp. 179\u2013197 in <i>Formal Language Description Languages for Computer Programming<\/i>, edited by T. Steel, North-Holland, Amsterdam, 1966."},{"key":"4","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, C., \u201cSubduing self application,\" pp. 108\u2013122 in <i>ICALP 89<\/i>, Springer Verlag, Berlin,1989. Zbl 0686.68010 MR 91a:03025","DOI":"10.1007\/BFb0035755"},{"key":"5","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, C., and B. Intrigila, \u201cThe ant-lion paradigm for strong normalization,\" <i>Information and Computation<\/i>, vol. 114, (1994), pp. 30\u201349. Zbl 0817.03006 MR 95i:03027","DOI":"10.1006\/inco.1994.1079"},{"key":"6","unstructured":"Curry H., J. Hindley, and J. Seldin, <i>Combinatory Logic, vol. II<\/i>, North-Holland Amsterdam, 1972. Zbl 0242.02029"},{"key":"7","unstructured":"Rezus, A., <i>Lambda conversion and Logic<\/i>, Ph.D. Dissertation, University of Utrecht, Utrecht, 1981."},{"key":"8","unstructured":"Rogers, H., <i>Theory of Recursive Functions and Effective Computability<\/i>, McGraw-Hill, New York, 1967. Zbl 0183.01401 MR 37:61"},{"key":"9","unstructured":"Statman, R.\u201c Taming the wild ant-lion, a counterexample to a conjecture of C. B\u00f6hm,\" Unpublished."},{"key":"10","unstructured":"Wadsworth, C., \u201cSome unusual $\\lambda$-calculus numeral systems,\" pp. 215\u2013230 in <i>To H. B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism<\/i>, edited by J. Hindley and J. Seldin, Academic Press, New York, 1980. MR 82b:03043"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040408610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:19Z","timestamp":1706649139000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-35\/issue-4\/Some-Results-on-Numeral-Systems-in-lambda-Calculus\/10.1305\/ndjfl\/1040408610.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10,1]]},"references-count":10,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1994,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040408610","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1994,10,1]]}}}