{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:34:18Z","timestamp":1742913258939,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642539312"},{"type":"electronic","value":"9783642539329"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-53932-9_23","type":"book-chapter","created":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T00:54:07Z","timestamp":1387500847000},"page":"232-242","source":"Crossref","is-referenced-by-count":4,"title":["Evaluation Strategy and Translation of Environment Calculus"],"prefix":"10.1007","author":[{"given":"Shin-ya","family":"Nishizaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"23_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.L., L\u00e9vy, J.J.: Explicit substitutions. Journal of Functional Programming\u00a01(4), 375\u2013416 (1991)","journal-title":"Journal of Functional Programming"},{"key":"23_CR2","unstructured":"Gunter, C.A.: Semantics of programming languages: structures and techniques. The MIT Press (1992)"},{"key":"23_CR3","unstructured":"Hanson, C.: MIT\/GNU Scheme Reference Manual (Release 9.1), 1.105 edn. (October 2011)"},{"key":"23_CR4","unstructured":"Mitchell, J.C.: Foundations for programming languages. The MIT Press (1996)"},{"issue":"6","key":"23_CR5","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.2977\/prims\/1195164948","volume":"30","author":"S. Nishizaki","year":"1995","unstructured":"Nishizaki, S.: Simply typed lambda calculus with rst-class environments. Publication of Research Institute for Mathematical Sciences Kyoto University\u00a030(6), 1055\u20131121 (1995)","journal-title":"Publication of Research Institute for Mathematical Sciences Kyoto University"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Nishizaki, S.: Polymorphic environment calculus and its type inference algorithm. Higher-Order and Symbolic Computation\u00a013(3) (2000)","DOI":"10.1023\/A:1010010314528"},{"key":"23_CR7","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 -calculus. Theor. Comput. Sci.\u00a01, 125\u2013159 (1975)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/3-540-48959-2_24","volume-title":"Typed Lambda Calculi and Applications","author":"M. Sato","year":"1999","unstructured":"Sato, M., Sakurai, T., Burstall, R.: Explicit environments. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol.\u00a01581, pp. 340\u2013354. Springer, Heidelberg (1999)"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/0304-3975(93)90095-B","volume":"121","author":"D. Scott","year":"1993","unstructured":"Scott, D.: A type-theoretical alternative to ISWIM, CUCH, OWHY. Theor. Comput. Sci.\u00a0121, 411\u2013440 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR10","unstructured":"Sperber, M., Dybvig, R.K., Flatt, M., van Straaten, A. (eds.): Revised [6] Reporton the Algorithmic Language Scheme. Cambridge University Press (2010)"}],"container-title":["Communications in Computer and Information Science","Information Computing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53932-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T14:18:30Z","timestamp":1558793910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-53932-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642539312","9783642539329"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53932-9_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}