{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:02:03Z","timestamp":1767927723159,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548291","type":"print"},{"value":"9783642548307","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_7","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:30:31Z","timestamp":1395408631000},"page":"103-118","source":"Crossref","is-referenced-by-count":26,"title":["A Semantical and Operational Account of Call-by-Value Solvability"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Carraro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulio","family":"Guerrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)"},{"issue":"3","key":"7_CR2","first-page":"191","volume":"75","author":"H. Barendregt","year":"1975","unstructured":"Barendregt, H.: Solvability in lambda-calculi. J. Symb. Logic\u00a075(3), 191\u2013231 (1975)","journal-title":"J. Symb. Logic"},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C. Wadsworth","year":"1976","unstructured":"Wadsworth, C.: The Relation Between Computational and Denotational Properties for Scott\u2019s D \u2009\u221e\u2009-Models of the \u03bb-Calculus. SIAM J. Comput.\u00a05(3), 488\u2013521 (1976)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"Plotkin, G.: Call-by-Name, Call-by-Value and the \u03bb-Calculus. Theor. Comput. Sci.\u00a01(2), 125\u2013159 (1975)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-29822-6_4","volume-title":"Functional and Logic Programming","author":"B. Accattoli","year":"2012","unstructured":"Accattoli, B., Paolini, L.: Call-by-Value Solvability, Revisited. In: Schrijvers, T., Thiemann, P. (eds.) FLOPS 2012. LNCS, vol.\u00a07294, pp. 4\u201316. Springer, Heidelberg (2012)"},{"issue":"6","key":"7_CR6","first-page":"507","volume":"33","author":"L. Paolini","year":"1999","unstructured":"Paolini, L., Ronchi Della Rocca, S.: Call-by-value Solvability. ITA\u00a033(6), 507\u2013534 (1999)","journal-title":"ITA"},{"key":"7_CR7","unstructured":"Paolini, L., Ronchi Della Rocca, S.: The Parametric \u03bb-calculus: a Metamodel for Computation. Texts in Theoretical Computer Science. Springer, Berlin (2004)"},{"issue":"20","key":"7_CR8","doi-asserted-by":"publisher","first-page":"1903","DOI":"10.1016\/j.tcs.2010.12.018","volume":"412","author":"L. Paolini","year":"2011","unstructured":"Paolini, L., Pimentel, E., Ronchi Della Rocca, S.: Strong Normalization from an unusual point of view. Theor. Comput. Sci.\u00a0412(20), 1903\u20131915 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-02273-9_12","volume-title":"Typed Lambda Calculi and Applications","author":"H. Herbelin","year":"2009","unstructured":"Herbelin, H., Zimmermann, S.: An operational account of Call-by-Value Minimal and Classical \u03bb-calculus in \u201cNatural Deduction\u201d form. In: Curien, P.-L. (ed.) TLCA 2009. LNCS, vol.\u00a05608, pp. 142\u2013156. Springer, Heidelberg (2009)"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001195","volume":"5","author":"M. Hofmann","year":"1995","unstructured":"Hofmann, M.: Sound and Complete Axiomatisations of Call-by-Value Control Operators. Mathematical Structures in Computer Science\u00a05(4), 461\u2013482 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational Lambda-Calculus and Monads. In: LICS, pp. 14\u201323 (1989)","DOI":"10.1109\/LICS.1989.39155"},{"issue":"6","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1093\/logcom\/exm037","volume":"17","author":"R. Dyckhoff","year":"2007","unstructured":"Dyckhoff, R., Lengrand, S.: Call-by-Value lambda-calculus and LJQ. J. Log. Comput.\u00a017(6), 1109\u20131134 (2007)","journal-title":"J. Log. Comput."},{"issue":"2","key":"7_CR13","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/FI-1992-16205","volume":"16","author":"L. Egidi","year":"1992","unstructured":"Egidi, L., Honsell, F., Ronchi Della Rocca, S.: Operational, denotational and logical descriptions: a case study. Fundamenta Informatic\u00e6\u00a016(2), 149\u2013169 (1992)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"7_CR14","unstructured":"Ehrhard, T.: Collapsing non-idempotent intersection types. In: CSL, pp. 259\u2013273 (2012)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Bucciarelli, A., Carraro, A., Ehrhard, T., Manzonetto, G.: Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion. Logical Methods in Computer Science 8(4) (2012)","DOI":"10.2168\/LMCS-8(4:3)2012"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Girard, J.: Linear Logic. Theor. Comput. Sci.\u00a050(1), 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR17","unstructured":"Regnier, L.: Lambda calcul et r\u00e9seaux. PhD thesis, Universit\u00e9 Paris 7 (1992)"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0304-3975(94)90012-4","volume":"126","author":"L. Regnier","year":"1994","unstructured":"Regnier, L.: Une \u00e9quivalence sur les lambda-termes. Theor. Comput. Sci.\u00a0126(2), 281\u2013292 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR19","unstructured":"Melli\u00e8s, P.: Categorical semantics of Linear Logic. In: Interactive Models of Computation and Program Behaviour. Panoramas et Synth\u00e8ses, vol.\u00a027, pp. 1\u2013196. Soci\u00e9t\u00e9 Math\u00e9matique de France (2009)"},{"key":"7_CR20","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":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-28717-6_5","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"B. Accattoli","year":"2012","unstructured":"Accattoli, B., Kesner, D.: The Permutative \u03bb-Calculus. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18. LNCS, vol.\u00a07180, pp. 23\u201336. Springer, Heidelberg (2012)"}],"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\/978-3-642-54830-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:46:52Z","timestamp":1746157612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}