{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297223},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540088608"},{"type":"electronic","value":"9783540358077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08860-1_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:34:48Z","timestamp":1330187688000},"page":"398-410","source":"Crossref","is-referenced-by-count":18,"title":["Une extension de la theorie des types en \u03bb-calcul"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Salle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"30_CR1","volume-title":"Some extensional term models for combinatory logics and \u03bb-calculi","author":"H. P. Barendregt","year":"1971","unstructured":"-H.P. BARENDREGT \"Some extensional term models for combinatory logics and \u03bb-calculi\", Ph. D. Thesis, UTRECHT Univ., the Netherlands, 1971"},{"key":"30_CR2","first-page":"179","volume-title":"In Formal language, description languages for computer Programming","author":"C. Bohm","year":"1966","unstructured":"-C. BOHM \"The CUCH as a formal and description language\" In Formal language, description languages for computer Programming, edited by T.B. Steel Jr.; pp 179\u2013197, North Holland, Amsterdam 1966."},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/BFb0029521","volume":"37","author":"C. Bohm","year":"1975","unstructured":"-C. BOHM, M. DEZANI-CIANCAGLINI \"Lambda-terms as total or partial Function on Normal Forms, Lambda Calculus and Computer Science Theory\". Lectures Notes in Computer Science, 37, (1975), Springer Verlag, 96\u2013121.","journal-title":"Lectures Notes in Computer Science"},{"key":"30_CR4","unstructured":"-C. BOHM, M. DEZANI-CIANCAGLINI \"Termination Test inside \u03bb-calculus\", to appear in: Automata languages and Programming, ed. A. Salomaa, Lecture Notes in Computer Science, Springer-Verlag."},{"key":"30_CR5","volume-title":"\"Combinatory Logic\", Vol. II","author":"H. B. Curry","year":"1972","unstructured":"-H.B. CURRY, JR. HINDLEY, J.P. SELDIN \"Combinatory Logic\", Vol. II, Asterdam, North Holland, (1972)"},{"key":"30_CR6","unstructured":"-M. COPPO, M. DEZANI-CIANCAGLINI \"A new type Assignment for \u03bb-terms, Rapport Interne, Universit\u00e9 de Turin, (1976)."},{"key":"30_CR7","unstructured":"-M. COPPO, M. DEZANI-CIANCAGLINI \"A generalized type theory for \u03bb-calculus, Rapport Interne, Universit\u00e9 de Turin, (1977)"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"-P. J. LANDIN \"A correspondence between ALGOL-GO and CHURCH'S \u03bb-notation\", CACM, vol. 8, February and March 1965, pp 89\u2013101, 158\u2013165.","DOI":"10.1145\/363744.363749"},{"key":"30_CR9","unstructured":"-J.H. MORRIS \"Lambda Calculus Models of Programming Languages\", Ph.D., M.I.T. 1968"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"-L. NOLIN \"Les mod\u00e8les informatiques des \u03bb-Calculs\", \u03bb-Calculus and Computer Science Theory Proceedings of the Symposium held in Rome C. BOHM Ed, Springer Verlag, (1975), pp 166\u2013176","DOI":"10.1007\/BFb0029524"},{"key":"30_CR11","unstructured":"-B. ROBINET \"Contribution \u00e0 l'\u00e9tude des r\u00e9alit\u00e9s informatiques\" th\u00e8se Doctorat, no I.P. 74\u20139, Paris, (1974)."},{"key":"30_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1093957876","volume":"5","author":"L. E. Sanchis","year":"1964","unstructured":"-L.E. SANCHIS \"Types of Combinatory Logic\" Notre Dame Journal of Formal logic (5) 1964 pp. 161\u2013180","journal-title":"Notre Dame Journal of Formal logic"},{"key":"30_CR13","unstructured":"-P. SALLE \"La notion de type en \u03bb-calcul\" Groupe Programmation et Languages AFCET, Bulletin no3, (1978)."},{"key":"30_CR14","unstructured":"-P. SALLE \"Une th\u00e9orie des types g\u00e9n\u00e9ralis\u00e9e en \u03bb-calcul\" (\u00e0 para\u00edtre)"},{"key":"30_CR15","unstructured":"-C.P. WADSWORTH \"The relation between Lambda expressions and their denotations in Scott's Models for the Calculus\", Seminaire IRIA 1974."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08860-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:06Z","timestamp":1605643206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08860-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540088608","9783540358077"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-08860-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}