{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:15Z","timestamp":1725662835273},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_75","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:26:24Z","timestamp":1330190784000},"page":"350-364","source":"Crossref","is-referenced-by-count":1,"title":["Discriminability of infinite sets of terms in the D\u221e-models of the \u03bb-calculus"],"prefix":"10.1007","author":[{"given":"S.","family":"Ronchi della Rocca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"25_CR1","unstructured":"H. Barendregt, The \u03bb-calculus, its syntax and semantic, North-Holland, Amsterdam, to appear."},{"key":"25_CR2","unstructured":"C. B\u00f6hm, Alcune propriet\u00e0 delle forme \u03b2-\u03b7-normali del \u03bb-k-calcolo, I.A.C., 696, Roma, (1968)."},{"key":"25_CR3","first-page":"179","volume-title":"Formal Language Description Languages","author":"C. B\u00f6hm","year":"1966","unstructured":"C. B\u00f6hm, The CUCH as a Formal and Description Language, in: Formal Language Description Languages, T.B. Steel, ed. North-Holland, Amsterdam (1966), 179\u2013197."},{"key":"25_CR4","unstructured":"C. B\u00f6hm, Strutture Informative e loro trasformazioni, Atti del III Seminario sul trattamento automatico delle Informazioni, Ist. Matematico \u201cU. Dini\u201d, Firenze, (1972)."},{"key":"25_CR5","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/3-540-06841-4_59","volume":"14","author":"C. B\u00f6hm","year":"1974","unstructured":"C. B\u00f6hm, M. Dezani-Ciancaglini, Combinatori al Problems, Combinator equations and Normal Forms, Lecture Notes in Computer Science, 14, (1974), 170\u2013184.","journal-title":"Lecture Notes in Computer Science"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(79)90014-8","volume":"8","author":"C. B\u00f6hm","year":"1979","unstructured":"C. B\u00f6hm, M. Dezani-Ciancaglini, P. Peretti, S. Ronchi Della Rocca, A discrimination Algorithm inside \u03bb-\u03b7-calculus, Theoretical Computer Science, 8, (1979), 271\u2013291.","journal-title":"Theoretical Computer Science"},{"key":"25_CR7","volume-title":"The calculi of \u03bb-conversion, Annals of Mathematics, 6","author":"A. Church","year":"1941","unstructured":"A. Church, The calculi of \u03bb-conversion, Annals of Mathematics, 6, Princenton, New Jersey, (1941)."},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-08860-1_12","volume":"62","author":"M. Coppo","year":"1978","unstructured":"M. Coppo, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, (Semi)-separability of finite sets of terms in Scott's D\u221e-models of the \u03bb-calculus, Lecture notes in Computer Science, 62, (1978), 142\u2013164.","journal-title":"Lecture notes in Computer Science"},{"key":"25_CR9","volume-title":"Combinatory logic, vol. I","author":"H.B. Curry","year":"1968","unstructured":"H.B. Curry, R. Feys, W. Craig, Combinatory logic, vol. I, North Holland, Amsterdam, (1968)."},{"key":"25_CR10","volume-title":"Combinatory logic, vol. II","author":"H.B. Curry","year":"1972","unstructured":"H.B. Curry, J.R. Hindley, S.P. Seldin, Combinatory logic, vol. II, North Holland, Amsterdam, (1972)."},{"key":"25_CR11","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0304-3975(76)90085-2","volume":"2","author":"M. Dezani","year":"1976","unstructured":"M. Dezani, Characterization of normal forms possessing inverse in the \u03bb-\u03b2-\u03b7-calculus, Theoretical Computer Science, 2, (1976), 323\u2013337.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"25_CR12","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0304-3975(79)90019-7","volume":"8","author":"R. Hindley","year":"1979","unstructured":"R. Hindley, The discrimination Theorem holds for combinatory weak reduction (Note), Theoretical Computer Science, 8, 3, (1979), 393\u2013394.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"25_CR13","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C.P. Wadsworth","year":"1976","unstructured":"C.P. Wadsworth, The Relation between Computational and Denotational Properties for Scott's D\u221e-models of the Lambda-calculus, SIAM Journal Comput., 5,3, (1976), 488\u2013521.","journal-title":"SIAM Journal Comput."},{"key":"25_CR14","unstructured":"C.P. Wadsworth, Some unusual \u03bb-calculus numeral Systems, to H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, ed. J.P. Seldin and J.R. Hindley, (1980)."}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:39:08Z","timestamp":1619555948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}