{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:45Z","timestamp":1725488865050},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439165"},{"type":"electronic","value":"9783540456100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45610-4_13","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:47:11Z","timestamp":1186886831000},"page":"174-191","source":"Crossref","is-referenced-by-count":7,"title":["A Weak Calculus with Explicit Operators for Pattern Matching and Substitution"],"prefix":"10.1007","author":[{"given":"Julien","family":"Forest","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"4","author":"M. Abadi","year":"1991","unstructured":"Mart\u00edn Abadi, Luca Cardelli, Pierre Louis Curien, and Jean-Jacques L\u00e9vy. Explicit substitutions. Journal of Functional Programming, 4(1):375\u2013416, 1991.","journal-title":"Journal of Functional Programming"},{"issue":"5","key":"13_CR2","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1017\/S0956796800001945","volume":"6","author":"Z.-E.-A. Benaissa","year":"1996","unstructured":"Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, and Jocelyne Rouyer-Degli. \u03bb\u03c5, a calculus of explicit substitutions which preserves strong normalisation. Journal of Functional Programming, 6(5):699\u2013722, 1996.","journal-title":"Journal of Functional Programming"},{"key":"13_CR3","unstructured":"Roel Bloo. Preservation of strong normalization for explicit substitutions. Technical Report TR95-08, TUE Computing Science Reports, Eindhoven University of Technology, 1995."},{"key":"13_CR4","unstructured":"Roel Bloo and Kristoffer Rose. Preservation of strong normalization in named lambda calculi with explicit substitution and garbage collection. In Computing Science in the Netherlands, pages 62\u201372. Netherlands Computer Science Research Foundation, 1995."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Pierre-Louis Curien, Th\u00e9r\u00e8se Hardin, and Jean-Jacques L\u00e9vy. Confluence properties of weak and strong calculi of explicit substitutions. Journal of the ACM, 43(2):362\u2013397, March 1996.","DOI":"10.1145\/226643.226675"},{"key":"13_CR6","unstructured":"Serenella Cerrito and Delia Kesner. Pattern matching as cut elimination, ftp:\/\/ftp.lri.fr\/LRI\/articles\/kesner\/pm-as-ce.ps.gz ."},{"key":"13_CR7","unstructured":"Horatiu Cirstea and Claude Kirchner. \u03c1-calculus, the rewriting calculus. In Fifth International Workshop on Constraints in Computational Logics, 1998."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Serenella Cerrito and Delia Kesner. Pattern matching as cut elimination. In Giuseppe Longo, editor, Fourteenth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 98\u2013108. IEEE Computer Society Press, July 1999.","DOI":"10.1109\/LICS.1999.782596"},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings ofRTA\u2019 2001","author":"H. Cirstea","year":"2001","unstructured":"Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. Matching Power. In Aart Middeldorp, editor, Proceedings ofRTA\u2019 2001, Lecture Notes in Computer Science, Utrecht (The Netherlands), May 2001. Springer-Verlag."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Ren\u00e9 David and Bruno Guillaume. A \u03bb-calculus with explicit weakening and explicit substitution. Mathematical Structures in Computer Science, 11, 2001.","DOI":"10.1017\/S0960129500003224"},{"issue":"4","key":"13_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s002000050110","volume":"9","author":"M. C.F. Ferreira","year":"1999","unstructured":"Maria C.F. Ferreira, Delia Kesner, and Laurence Puel. Lambda-calculi with explicit substitutions preserving strong normalization. Applicable Algebra in Engineering Communication and Computing, 9(4):333\u2013371, 1999.","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"key":"13_CR12","unstructured":"Julien Forest. A calculus of pattern matching and explicit substitution draft. Technical Report LRI-1313, 2002. http:\/\/www.lri.fr\/~forest\/lpw.ps.gz ."},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-61464-8_52","volume-title":"Seventh International Conference on Rewriting Techniques and Applications","author":"D. Kesner","year":"1996","unstructured":"Delia Kesner. Confluence properties of extensional and non-extensional \u03bb-calculi with explicit substitutions. In Harald Ganzinger, editor, Seventh International Conference on Rewriting Techniques and Applications, volume 1103 of Lecture Notes in Computer Science, pages 184\u2013199. Springer-Verlag, July 1996."},{"key":"13_CR14","series-title":"Mathematical Centre Tracts","volume-title":"Combinatory Reduction Systems","author":"J.-W. Klop","year":"1980","unstructured":"Jan-Willem Klop. Combinatory Reduction Systems, volume 127 of Mathematical Centre Tracts. CWI, Amsterdam, 1980. PhD Thesis."},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1996.0004","volume":"124","author":"D. Kesner","year":"1996","unstructured":"Delia Kesner, Laurence Puel, and Val Tannen. A Typed Pattern Calculus. Information and Computation, 124(1):32\u201361, 1996.","journal-title":"Information and Computation"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Pierre Lescanne. From \u03bb\u03c3 to \u03bb\u03c5, ajourney through calculi of explicit substitutions. In Annual ACM Symposium on Principles of Programming Languages (POPL), pages 60\u201369, Portland, Oregon, 1994.","DOI":"10.1145\/174675.174707"},{"key":"13_CR17","unstructured":"The Objective Caml language. http:\/\/caml.inria.fr\/ ."},{"key":"13_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BFb0049338","volume-title":"Normalisation for typed lambda calculi with explicit substitution","author":"E. Ritter","year":"1994","unstructured":"E. Ritter. Normalisation for typed lambda calculi with explicit substitution. Lecture Notes in Computer Science, 832:295\u2013--, 1994."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45610-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:54:23Z","timestamp":1556740463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45610-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439165","9783540456100"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45610-4_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}