{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:05Z","timestamp":1725664985773},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626886"},{"type":"electronic","value":"9783540684381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62688-3_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:48:54Z","timestamp":1330296534000},"page":"231-247","source":"Crossref","is-referenced-by-count":2,"title":["A type theoretical view of B\u00f6hm-trees"],"prefix":"10.1007","author":[{"given":"Toshihiko","family":"Kurata","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(92)90297-S","volume":"102","author":"S. Bakel van","year":"1992","unstructured":"S. van Bakel, Complete restrictions of the intersection type descipline, Theoretical Computer Science 102 (1992), 135\u2013163.","journal-title":"Theoretical Computer Science"},{"key":"15_CR2","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, revised edition, North-Holland, Amsterdam, 1984.","edition":"revised edition"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H. P. Barendregt","year":"1983","unstructured":"H. P. Barendregt, M. Coppo and M. Dezani-Ciancaglini, A filter lambda model and the completeness of type assignment, Journal of Symbolic Logic 48 (1983), 931\u2013940.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19810270205","volume":"27","author":"M. Coppo","year":"1981","unstructured":"M. Coppo, M. Dezani-Ciancaglini and B. Venneri, Functional characters of solvable terms, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathmatik 27 (1981), 45\u201358.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathmatik"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0890-5401(87)90042-3","volume":"72","author":"M. Coppo","year":"1987","unstructured":"M. Coppo, M. Dezani-Ciancaglini and M. Zacchi, Type theories, normal forms and D\u221e lambda-models, Information and Computation 72 (1987), 85\u2013116.","journal-title":"Information and Computation"},{"key":"15_CR6","unstructured":"J. Y. Girard, Interpr\u00e9tation fonctionnelle et \u00e9limination des coupures dans l'arithm\u00e9tique d'ordre sup\u00e9rieur, Th\u00e8se de doctorat d'\u00e9tat, Universit\u00e9 Paris VII, 1972."},{"key":"15_CR7","unstructured":"J. Y. Girard, P. Taylor and Y. Lafont, Proofs and Types, Cambridge University Press, 1989."},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(83)90136-6","volume":"22","author":"J. R. Hindley","year":"1983","unstructured":"J. R. Hindley, The completeness theorem for typing \u03bb-terms, Theoretical Computer Science 22 (1983), 1\u201317.","journal-title":"Theoretical Computer Science"},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0022-0000(92)90040-P","volume":"45","author":"F. Honsell","year":"1992","unstructured":"F. Honsell and S. Ronchi Delia Rocca, An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus, Journal of Computer and System Sciences 45 (1992), 49\u201375.","journal-title":"Journal of Computer and System Sciences"},{"key":"15_CR10","unstructured":"J. L. Krivine, Lambda-Calculus, Types and Models, Ellis Horwood, 1993."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"J. C. Mitchell, Type systems for programming languages, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, The MIT Press\/Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"15_CR12","unstructured":"G. D. Plotkin, \u03bb-definability in the full type hierarchy, in: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, ed. J. R. Hindley and J. P. Seldin, Academic Press, New York, 363\u2013373."},{"key":"15_CR13","unstructured":"G. Pottinger, A type assignment for the strongly normalizable \u03bb-terms, in: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, ed. J. R. Hindley and J. P. Seldin, Academic Press, New York, 363\u2013373."},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(85)80001-2","volume":"65","author":"R. Statman","year":"1985","unstructured":"R. Statman, Logical relations and the typed lambda calculus, Information and Control 65 (1985), 85\u201397.","journal-title":"Information and Control"},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"W. W. Tait","year":"1967","unstructured":"W. W. Tait, Intensional interpretation of functionals of finite type, Journal of Symbolic Logic 32 (1967), 198\u2013212.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62688-3_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:04Z","timestamp":1605647644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62688-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626886","9783540684381"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-62688-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}