{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T22:44:53Z","timestamp":1725921893666},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_20","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:33:31Z","timestamp":1511757211000},"page":"331-336","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Completeness of BCD for an Operational Semantics"],"prefix":"10.1007","author":[{"given":"Rick","family":"Statman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"20_CR1","volume-title":"The Lambda Calculus","author":"HP Barendregt","year":"1981","unstructured":"Barendregt, H.P.: The Lambda Calculus. North Holland, New York (1981)"},{"key":"20_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139032636","volume-title":"Lambda Calculus with Types","author":"H Barendregt","year":"2013","unstructured":"Barendregt, H., Dekkers, W., Statman, R.: Lambda Calculus with Types. Cambridge University Press, New York (2013)"},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02011875","volume":"19","author":"M Coppo","year":"1978","unstructured":"Coppo, M., Dezani, M.: A new type assignment for lambda terms. Archiv fur Math. Logik 19, 139\u2013156 (1978)","journal-title":"Archiv fur Math. Logik"},{"key":"20_CR4","unstructured":"van Dalen, D.: Intuitionistic logic. In: Gobble, L. (ed.) The Blackwell Guide to Philosophical Logic. Blackwell, Oxford (2001)"},{"key":"20_CR5","unstructured":"Plotkin, G.D.: Lambda definability in the full type hierarchy. In: Hindley, J.R., Seldin, J.P. (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 363\u2013373. Academic Press, London (1980)"},{"key":"20_CR6","unstructured":"Pottinger, G.: A type assignment for the strongly normalizable lambda terms. In: Hindley, J., Seldin, J. (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 561\u2013577. Academic Press, London (1980)"},{"issue":"2\/3","key":"20_CR7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(85)80001-2","volume":"165","author":"R Statman","year":"1985","unstructured":"Statman, R.: Logical relations and the typed lambda calculus. Inf. Contr. 165(2\/3), 85\u201397 (1985)","journal-title":"Inf. Contr."},{"key":"20_CR8","first-page":"185","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"WW Tait","year":"1968","unstructured":"Tait, W.W.: Constructive reasoning. In: Van Rootselaar, B., Staal, J.F. (eds.) Studies in Logic and the Foundations of Mathematics, vol. 52, pp. 185\u2013199. Elsevier, NorthHolland (1968)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:39:36Z","timestamp":1511757576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}