{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T20:23:28Z","timestamp":1794515008153,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662496299","type":"print"},{"value":"9783662496305","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","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":[[2016]]},"DOI":"10.1007\/978-3-662-49630-5_24","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T05:04:32Z","timestamp":1458536672000},"page":"408-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\\lambda $$ \u03bb -terms"],"prefix":"10.1007","author":[{"given":"Michele","family":"Pagani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christine","family":"Tasson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lionel","family":"Vaux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(92)90297-S","volume":"102","author":"S Bakel van","year":"1992","unstructured":"van Bakel, S.: Complete restrictions of the intersection type discipline. Theor. Comput. Sci. 102(1), 135\u2013163 (1992). \n                      http:\/\/dx.doi.org\/10.1016\/0304-3975(92)90297-S","journal-title":"Theor. Comput. Sci."},{"key":"24_CR2","first-page":"931","volume":"48","author":"H Barendregt","year":"1983","unstructured":"Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. JSL 48, 931\u2013940 (1983)","journal-title":"JSL"},{"issue":"04","key":"24_CR3","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1017\/S0960129504004645","volume":"15","author":"T Ehrhard","year":"2005","unstructured":"Ehrhard, T.: Finiteness spaces. Math. Struct. Comput. Sci. 15(04), 615\u2013646 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Ehrhard, T.: A finiteness structure on resource terms. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11\u201314 July 2010, Edinburgh, United Kingdom, pp. 402\u2013410. IEEE Computer Society (2010). \n                      http:\/\/dx.doi.org\/10.1109\/LICS.2010.38","DOI":"10.1109\/LICS.2010.38"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","volume":"309","author":"T Ehrhard","year":"2003","unstructured":"Ehrhard, T., Regnier, L.: The differential lambda-calculus. Theor. Comput. Sci. 309(1), 1\u201341 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11780342_20","volume-title":"Logical Approaches to Computational Barriers","author":"T Ehrhard","year":"2006","unstructured":"Ehrhard, T., Regnier, L.: B\u00f6hm trees, Krivine\u2019s Machine and the Taylor expansion of lambda-terms. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 186\u2013197. Springer, Heidelberg (2006)"},{"issue":"2\u20133","key":"24_CR7","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/j.tcs.2008.06.001","volume":"403","author":"T Ehrhard","year":"2008","unstructured":"Ehrhard, T., Regnier, L.: Uniformity and the Taylor expansion of ordinary lambda-terms. Theor. Comput. Sci. 403(2\u20133), 347\u2013372 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR8","volume-title":"Lambda-Calculus, Types and Models","author":"JL Krivine","year":"1993","unstructured":"Krivine, J.L.: Lambda-Calculus, Types and Models. Ellis Horwood, Chichester (1993)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Laird, J., Manzonetto, G., McCusker, G., Pagani, M.: Weighted relational models of typed lambda-calculi. In: Proceedings of 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2013), pp. 25\u201328, New Orleans, USA, pp. 301\u2013310, June 2013","DOI":"10.1109\/LICS.2013.36"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(92)90323-8","volume":"1","author":"F Lamarche","year":"1992","unstructured":"Lamarche, F.: Quantitative domains and infinitary algebras. Theor. Comput. Sci. 1, 37\u201362 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-02273-9_17","volume-title":"Typed Lambda Calculi and Applications","author":"M Pagani","year":"2009","unstructured":"Pagani, M.: The cut-elimination theorem for differential nets with promotion. In: Curien, P.-L. (ed.) TLCA 2009. LNCS, vol. 5608, pp. 219\u2013233. Springer, Heidelberg (2009)"},{"issue":"3","key":"24_CR12","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.apal.2011.09.001","volume":"163","author":"M Pagani","year":"2012","unstructured":"Pagani, M.: Visible acyclic differential nets, Part I: Semantics. Ann. Pure Appl. Logic 163(3), 238\u2013265 (2012)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49630-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T21:08:38Z","timestamp":1584997718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49630-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496299","9783662496305"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49630-5_24","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-662-49630-5","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}