{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:28:48Z","timestamp":1759638528110},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657637"},{"type":"electronic","value":"9783540489597"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48959-2_24","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T12:52:16Z","timestamp":1178196736000},"page":"340-354","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Explicit Environments"],"prefix":"10.1007","author":[{"given":"Masahiko","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takafumi","family":"Sakurai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rod","family":"Burstall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L. and Levy, J.-J., Explicit Substitutions, pp. 375\u2013416, Journal of Functional Programming, 1, 1991.","journal-title":"Journal of Functional Programming"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1017\/S0956796800001945","volume":"6","author":"Z.E.A. Benaissa","year":"1996","unstructured":"Benaissa, Z.E.A., Briand, D., Lescanne, P. and Maibaum, T.S.E., \u03bb\u03c5, a calculus of explicit substitutions which preserves strong normalization pp. 699\u2013722, Journal of Functional Programming, 6, 1996.","journal-title":"Journal of Functional Programming"},{"key":"24_CR3","unstructured":"Bloo, R. and Rose, K.H., Preservation of Strong Normalization in Named Lambda Calculi with Explicit Substitution and Garbage Collection, Proceedings of CSN\u201995 (Computer Science in Netherlands), van Vliet J.C. (ed.), 1995. (\n                    ftp:\/\/ftp.diku.dk\/diku\/semantics\/papers\/D-246.ps\n                    \n                  )"},{"key":"24_CR4","unstructured":"Girard, J.-Y., Lafont, Y. and Taylor, P., Proofs and Types, Cambridge University Press, 1989."},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0304-3975(86)90035-6","volume":"46","author":"T. Hardin","year":"1986","unstructured":"Hardin, T., Confluence results for the pure strong categorical combinatory logic CCL: \u03bb-calculi as subsystems of CCL, pp. 305\u2013312, Theoretical Computer Science, 46, 1986.","journal-title":"Theoretical Computer Science"},{"key":"24_CR6","unstructured":"Hashimoto, M. and Ohori, A., A typed context calculus, Preprint RIMS-1098, Res. Inst. for Math. Sci., Kyoto Univ., 1996. Available at: \n                    http:\/\/www.kurims.kyoto-u.ac.jp\/~ohori\/list.html\n                    \n                  ."},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1017\/S0956796897002785","volume":"7","author":"F. Kamareddine","year":"1997","unstructured":"Kamareddine, F. and R\u00edos, A., Extending a \u03bb-calculus with explicit substitution which preserves strong normalization into a confluent calculus on open terms, pp. 395\u2013420, Journal of Functional Programming, 7, 1997.","journal-title":"Journal of Functional Programming"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/0890-5401(88)90011-9","volume":"76","author":"B. Lampson","year":"1988","unstructured":"Lampson, B. and Burstall, R., Pebble, a Kernel Language for Modules and Abstract Data Types, pp. 278\u2013346, Information and Computation, 76, 1988.","journal-title":"Information and Computation"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Nishizaki, S., Simply Typed Lambda Calculus with First-Class Environments, Publications of the Research Institute for Mathematical Sciences, Kyoto University, Vol. 30,No. 6, 1994.","DOI":"10.2977\/prims\/1195164948"},{"key":"24_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BFb0032396","volume-title":"Logic, Language and Computation, Festschrift in Honor of Satoru Takasu","author":"S. Nishizaki","year":"1994","unstructured":"Nishizaki, S., ML with First-Class Environments and its Type Inference Algorithm, pp. 95\u2013116, Logic, Language and Computation, Festschrift in Honor of Satoru Takasu, Lecture Notes in Computer Science 792, Jones, N. D., Hagiya, M. and Sato, M. (eds.), Springer-Verlag, 1994."},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0747-7171(89)80045-8","volume":"7","author":"M. Takahashi","year":"1989","unstructured":"Takahashi, M., Parallel Reductions in \u03bb-calculus, J. Symbolic Computation, 7, pp. 113\u2013123, 1989.","journal-title":"J. Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48959-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:07:03Z","timestamp":1558256823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48959-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657637","9783540489597"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48959-2_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}