{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:26:10Z","timestamp":1725891970407},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357213"},{"type":"electronic","value":"9783642357220"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_12","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:16:29Z","timestamp":1357298189000},"page":"164-178","source":"Crossref","is-referenced-by-count":9,"title":["Call-by-Value Non-determinism in a Linear Logic Type Discipline"],"prefix":"10.1007","author":[{"given":"Alejandro","family":"D\u00edaz-Caro","sequence":"first","affiliation":[]},{"given":"Giulio","family":"Manzonetto","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Pagani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Amadio, R., Curien, P.L.: Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science, vol.\u00a046. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511983504"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Arrighi, P., D\u00edaz-Caro, A.: A System F accounting for scalars. Logical Methods in Computer Science 8(1:11) (2012)","DOI":"10.2168\/LMCS-8(1:11)2012"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Arrighi, P., D\u00edaz-Caro, A., Valiron, B.: A type system for the vectorial aspects of the linear-algebraic \u03bb-calculus. In: DCM 2011. EPTCS, vol.\u00a088, pp. 1\u201315 (2012)","DOI":"10.4204\/EPTCS.88.1"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-70590-1_2","volume-title":"Rewriting Techniques and Applications","author":"P. Arrighi","year":"2008","unstructured":"Arrighi, P., Dowek, G.: Linear-Algebraic \u03bb-Calculus: Higher-Order, Encodings, and Confluence. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol.\u00a05117, pp. 17\u201331. Springer, Heidelberg (2008)"},{"key":"12_CR5","volume-title":"The lambda calculus: its syntax and semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The lambda calculus: its syntax and semantics. North-Holland, Amsterdam (1984)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-19805-2_7","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Bernadet","year":"2011","unstructured":"Bernadet, A., Lengrand, S.: Complexity of Strongly Normalising \u03bb-Terms via Non-idempotent Intersection Types. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 88\u2013107. Springer, Heidelberg (2011)"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/inco.1994.1003","volume":"108","author":"G. Boudol","year":"1994","unstructured":"Boudol, G.: Lambda-calculi for (strict) parallel functions. Information and Computation\u00a0108(1), 51\u2013127 (1994)","journal-title":"Information and Computation"},{"key":"12_CR8","unstructured":"Breuvart, F.: On the discriminating power of tests in the resource \u03bb-calculus (submitted), Draft available at http:\/\/hal.archives-ouvertes.fr\/hal-00698609"},{"issue":"7","key":"12_CR9","first-page":"918","volume":"163","author":"A. Bucciarelli","year":"2012","unstructured":"Bucciarelli, A., Ehrhard, T., Manzonetto, G.: A relational semantics for parallelism and non-determinism in a functional setting. APAL\u00a0163(7), 918\u2013934 (2012)","journal-title":"APAL"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF02011875","volume":"19","author":"M. Coppo","year":"1978","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: A new type-assignment for \u03bb-terms. Archiv f\u00fcr Math. Logik\u00a019, 139\u2013156 (1978)","journal-title":"Archiv f\u00fcr Math. Logik"},{"key":"12_CR11","unstructured":"de Carvalho, D.: Execution time of lambda-terms via denotational semantics and intersection types. INRIA Report RR-6638, http:\/\/hal.inria.fr\/inria-00319822\/PDF\/RR-6638.pdf , To appear in Math. Struct. in Comp. Sci. (2008)"},{"issue":"1-2","key":"12_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0304-3975(96)80703-1","volume":"170","author":"M. Dezani-Ciancaglini","year":"1996","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U., Piperno, A.: Filter models for conjunctive-disjunctive lambda-calculi. Theor. Comp. Sci.\u00a0170(1-2), 83\u2013128 (1996)","journal-title":"Theor. Comp. Sci."},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1137\/S0097539794275860","volume":"27","author":"M. Dezani-Ciancaglini","year":"1998","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U., Piperno, A.: A filter model for concurrent lambda-calculus. SIAM J. Comput.\u00a027(5), 1376\u20131419 (1998)","journal-title":"SIAM J. Comput."},{"key":"12_CR14","unstructured":"Ehrhard, T.: Collapsing non-idempotent intersection types. In: CSL 2012. LIPIcs, vol.\u00a016, pp. 259\u2013273 (2012)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"12_CR16","unstructured":"Krivine, J.L.: Lambda-calcul: types et mod\u00e8les. \u00c9tudes et recherches en informatique, Masson (1990)"},{"key":"12_CR17","unstructured":"Laurent, O.: \u00c9tude de la polarisation en logique. PhD thesis, Universit\u00e9 de Aix-Marseille II, France (2002)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-642-03816-7_49","volume-title":"Mathematical Foundations of Computer Science 2009","author":"G. Manzonetto","year":"2009","unstructured":"Manzonetto, G.: A General Class of Models of $\\mathcal{H}^*$ . In: Kr\u00e1lovi\u010d, R., Niwi\u0144ski, D. (eds.) MFCS 2009. LNCS, vol.\u00a05734, pp. 574\u2013586. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0304-3975(98)00358-2","volume":"228","author":"J. Maraist","year":"1999","unstructured":"Maraist, J., Odersky, M., Turner, D.N., Wadler, P.: Call-by-name, call-by-value, call-by-need and the linear \u03bb-calculus. Theor. Comp. Sci.\u00a0228(1-2), 175\u2013210 (1999)","journal-title":"Theor. Comp. Sci."},{"issue":"1-4","key":"12_CR20","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3233\/FI-2010-324","volume":"103","author":"M. Pagani","year":"2010","unstructured":"Pagani, M., Ronchi Della Rocca, S.: Linearity, non-determinism and solvability. Fundam. Inform.\u00a0103(1-4), 173\u2013202 (2010)","journal-title":"Fundam. Inform."},{"issue":"2","key":"12_CR21","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. Theor. Comp. Sci.\u00a01(2), 125\u2013159 (1975)","journal-title":"Theor. Comp. Sci."},{"issue":"2","key":"12_CR22","first-page":"143","volume":"14","author":"P. Sall\u00e9","year":"1980","unstructured":"Sall\u00e9, P.: Une g\u00e9n\u00e9ralisation de la th\u00e9orie de types en \u03bb-calcul. RAIRO: Informatique Th\u00e9orique\u00a014(2), 143\u2013167 (1980)","journal-title":"RAIRO: Informatique Th\u00e9orique"},{"issue":"5","key":"12_CR23","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.1017\/S0960129509990089","volume":"19","author":"L. Vaux","year":"2009","unstructured":"Vaux, L.: The algebraic lambda calculus. Math. Struct. in Comp. Sci.\u00a019(5), 1029\u20131059 (2009)","journal-title":"Math. Struct. in Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,19]],"date-time":"2020-07-19T20:50:47Z","timestamp":1595191847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}