{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:48Z","timestamp":1725544068010},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330455"},{"type":"electronic","value":"9783540330462"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_25","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:15:28Z","timestamp":1143537328000},"page":"367-381","source":"Crossref","is-referenced-by-count":3,"title":["An Operational Characterization of Strong Normalization"],"prefix":"10.1007","author":[{"given":"Luca","family":"Paolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elaine","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona Ronchi","family":"Della Rocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","first-page":"246","volume":"38","author":"S. Bakel van","year":"1997","unstructured":"van Bakel, S.: Intersection type assignment systems. Theoretical Computer Science\u00a038(2), 246\u2013269 (1997)","journal-title":"Theoretical Computer Science"},{"key":"25_CR2","series-title":"Studies in Logic and the Foundations of Mathematics (revised edition)","volume-title":"The Lambda Calculus: its syntax and semantics","author":"H.P. Barendregt","year":"1994","unstructured":"Barendregt, H.P.: The Lambda Calculus: its syntax and semantics. Studies in Logic and the Foundations of Mathematics (revised edition), vol.\u00a0103. North-Holland, Amsterdam (1994)"},{"issue":"2","key":"25_CR3","first-page":"85","volume":"72","author":"M. Coppo","year":"1987","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Zacchi, M.: Type Theories, Normal Forms and \n                    \n                      \n                    \n                    ${\\cal D}_\\infty$\n                   Lambda Models. Information and Control\u00a072(2), 85\u2013116 (1987)","journal-title":"Information and Control"},{"issue":"4","key":"25_CR4","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","volume":"21","author":"M. Coppo","year":"1980","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: An Extension of the Basic Functionality Theory for the \u03bb-Calculus. Notre-Dame Journal of Formal Logic\u00a021(4), 685\u2013693 (1980)","journal-title":"Notre-Dame Journal of Formal Logic"},{"key":"25_CR5","unstructured":"Krivine, J.L.: Lambda-Calculus, Types and Models, Ellis Horwood Series in Computers and Their Applications (1993)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Landin, P.J.: The mechanical evaluation of expressions. Computer Journal (1964)","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-45446-2_5","volume-title":"Theoretical Computer Science","author":"L. Paolini","year":"2001","unstructured":"Paolini, L.: Call-by-value separability and computability. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol.\u00a02202, pp. 74\u201389. Springer, Heidelberg (2001)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Paolini, L., Pimentel, E., Ronchi Della Rocca, S.: Lazy strong normalization. In: ITRS 2004. ENTCS, vol.\u00a0136, pp. 103\u2013116 (2005)","DOI":"10.1016\/j.entcs.2005.06.013"},{"issue":"6","key":"25_CR9","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1051\/ita:1999130","volume":"33","author":"L. Paolini","year":"1999","unstructured":"Paolini, L., Ronchi Della Rocca, S.: Call-by-value Solvability. Theoretical Informatics and Applications\u00a033(6), 507\u2013534 (1999)","journal-title":"Theoretical Informatics and Applications"},{"issue":"1","key":"25_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.ic.2003.08.003","volume":"189","author":"L. Paolini","year":"2004","unstructured":"Paolini, L., Ronchi Della Rocca, S.: The Parametric Parameter Passing \u03bb-calculus. Information and Computation\u00a0189(1), 87\u2013106 (2004)","journal-title":"Information and Computation"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G.D. Plotkin","year":"1975","unstructured":"Plotkin, G.D.: Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science\u00a01, 125\u2013159 (1975)","journal-title":"Theoretical Computer Science"},{"key":"25_CR12","first-page":"561","volume-title":"Curry: essays on combinatory logic, lambda calculus and formalism","author":"G. Pottinger","year":"1980","unstructured":"Pottinger, G.: A type assignment for the strongly normalizable \u03bb-terms. In: To, H.B. (ed.) Curry: essays on combinatory logic, lambda calculus and formalism, pp. 561\u2013577. Academic Press, London (1980)"},{"key":"25_CR13","volume-title":"Texts in Theoretical Computer Science: an EATCS Series","author":"S. Ronchi Della Rocca","year":"2004","unstructured":"Ronchi Della Rocca, S., Paolini, L.: The Parametric \u03bb-calculus. A meta-model for computation. In: Texts in Theoretical Computer Science: an EATCS Series, Springer, Berlin (2004)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T01:12:46Z","timestamp":1552353166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11690634_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}