{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:34:46Z","timestamp":1759638886419},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540114949"},{"type":"electronic","value":"9783540391845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11494-7_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:44:34Z","timestamp":1330191874000},"page":"212-226","source":"Crossref","is-referenced-by-count":17,"title":["The simple semantics for Coppo-Dezani-Sall\u00e9 types"],"prefix":"10.1007","author":[{"given":"J. R.","family":"Hindley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"BARENDREGT, H. (1977): \"The type-free \u03bb-calculus\", in \"Handbook of Mathematical Logic\", edited by J. Barwise, North-Holland Co., 1977.","DOI":"10.1016\/S0049-237X(08)71129-7"},{"key":"15_CR2","unstructured":"BARENDREGT, H., COPPO, M., DEZANI, M. (198-): \"A filter lambda model and the completeness of type assignment\", to appear, J. Symbolic Logic."},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02011875","volume":"19","author":"M. Coppo","year":"1978","unstructured":"COPPO, M., DEZANI, M. (1978): \"A new type-assignment for \u03bb-terms\", Archiv. Math. Logik 19, pp.139\u2013156 (1978).","journal-title":"Archiv. Math. Logik"},{"key":"15_CR4","unstructured":"COPPO, M., DEZANI, M., VENNERI, B. (1980): \"Principal type-schemes and \u03bb-calculus semantics\", in \"To H.B. Curry\", edited by J.P. Seldin and J.R. Hindley, Academic Press 1980."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19810270205","volume":"27","author":"M. Coppo","year":"1981","unstructured":"COPPO, M., DEZANI, M., VENNERI, B. (1981): \"Functional characters of solvable terms\", Z. Math. Logik 27, pp.45\u201358 (1981).","journal-title":"Z. Math. Logik"},{"key":"15_CR6","unstructured":"HINDLEY, J.R. (1983): \"The completeness theorem for typing \u03bb-terms\", to appear, Theoretical Computer Science 22 (1983)."},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19800261902","volume":"26","author":"J. R. Hindley","year":"1980","unstructured":"HINDLEY, J.R., LONGO, G. (1980): \"Lambda-calculus models and extensionality\", Z. Math. Logik 26, pp.289\u2013310 (1980).","journal-title":"Z. Math. Logik"},{"key":"15_CR8","unstructured":"POTTINGER, G. (1980): \"A type assignment for the strongly normalizable \u03bb-terms\", in \"To H.B. Curry\", edited by J.P. Seldin and J.R. Hindley, Academic Press 1980."},{"key":"15_CR9","unstructured":"SALL\u00c9, P. (1978): \"Une extension de la th\u00e9orie des types\", Lecture Notes in Computer Science 62, pp.398\u2013410, Springer-Verlag 1978."}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11494-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:43:10Z","timestamp":1619556190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11494-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540114949","9783540391845"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-11494-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}