{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:55Z","timestamp":1725456055145},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590484"},{"type":"electronic","value":"9783540491781"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014066","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:50:31Z","timestamp":1132732231000},"page":"381-396","source":"Crossref","is-referenced-by-count":0,"title":["Categorical semantics of the call-by-value \u03bb-calculus"],"prefix":"10.1007","author":[{"given":"A.","family":"Pravato","sequence":"first","affiliation":[]},{"given":"S. Ronchi","family":"della Rocca","sequence":"additional","affiliation":[]},{"given":"L.","family":"Roversi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"26_CR1","unstructured":"A. Asperti and G. Longo. Categories, Types and Structures. Foundations of Computing. The MIT Press, 1991."},{"key":"26_CR2","unstructured":"N. Benton, G. Bierman, V. de Paiva, and M. Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1990."},{"issue":"3","key":"26_CR3","first-page":"845","volume":"51","author":"M. Dezani-Ciancaglini","year":"1986","unstructured":"M. Dezani-Ciancaglini, F. Honsell, and S. Ronchi della Rocca. Models for theories for functions strictly depending on all their arguments (abstract). The Journal of Symbolic Logic, 51(3):845\u2013846, 1986.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"26_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/FI-1992-16205","volume":"16","author":"L. Egidi","year":"1992","unstructured":"L. Egidi, F. Honsell, and S. Ronchi della Rocca. Operational, denotational and logical descriptions: a case study. Fundamenta Informaticae, 16 (2): 149\u2013169, February 1992.","journal-title":"Fundamenta Informaticae"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","volume":"45","author":"J.Y. Girard","year":"1986","unstructured":"J.Y. Girard. The system F of variable types, fifteen years later. Theoretical Computer Science, 45:159\u2013192, 1986.","journal-title":"Theoretical Computer Science"},{"key":"26_CR6","unstructured":"J.Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"G. Gonthier, M. Abadi, and J.J. L\u00e9vy. The geometry of optimal lambda reductions. In Proc. 19th Symp. on Principles of Programming Languages (POPL 92), 1992.","DOI":"10.1145\/143165.143172"},{"key":"26_CR8","unstructured":"R. Hindley and G. Longo. To H.B. Curry: Essay on Combinatory Logic, Lambda Calculus and Formalisms, chapter Lambda-calculus models. J.R. Hindley, J.P. Seldin editors, Academic Press, 1980."},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"F. Honsell and M. Lenisa. Some results on the full-abstraction problem for restricted \u03bb-calculi. In LNCS 711: Proceedings of 18th. Symposium on MFCS'93 (Poland), pages 84\u2013104. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_6"},{"key":"26_CR10","unstructured":"F. Honsell and S. Ronchi della Rocca. Reasoning about interpretations in qualitative lambda models, pages 505\u2013522. M. Broy and C.B. Jones editors, North-Holland, 1990."},{"issue":"3","key":"26_CR11","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1016\/S0019-9958(82)90796-3","volume":"52","author":"C.P.J. Koymans","year":"1982","unstructured":"C.P.J. Koymans. Models of the lambda calculus. Information and Control, 52(3):306\u2013332, 1982.","journal-title":"Information and Control"},{"key":"26_CR12","unstructured":"Y. Lafont. Introduction to linear logic. Lecture notes for the Summer School on Constructive logic and Category theory (Isle of Thorns), August 1988."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"P.J. Landin. The mechanical evaluation of expressions. Computer Journal, 6(4), 1964.","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"G. Plotkin. Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T07:34:05Z","timestamp":1626766445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590484","9783540491781"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0014066","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}