Search the dblp DataBase
Delia Kesner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Delia Kesner Reasoning about Layered, Wildcard and Product Patterns. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:253-268 [Conf ] Maria C. F. Ferreira , Delia Kesner , Laurence Puel Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:284-298 [Conf ] John J. Glauert , Delia Kesner , Zurab Khasidashvili Expression Reduction Systems and Extensions: An Overview. [Citation Graph (0, 0)][DBLP ] Processes, Terms and Cycles, 2005, pp:496-553 [Conf ] Roy Dyckhoff , Delia Kesner , Stephane Lengrand Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:347-361 [Conf ] Delia Kesner Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:603-617 [Conf ] Roberto Di Cosmo , Delia Kesner Rewriting with Extensional Polymorphic Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] CSL, 1995, pp:215-232 [Conf ] Barry Jay , Delia Kesner Pure Pattern Calculus. [Citation Graph (0, 0)][DBLP ] ESOP, 2006, pp:100-114 [Conf ] Roberto Di Cosmo , Delia Kesner , Emmanuel Polonovski Proof Nets and Explicit Substitutions. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2000, pp:63-81 [Conf ] Roberto Di Cosmo , Delia Kesner A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. [Citation Graph (0, 0)][DBLP ] ICALP, 1993, pp:645-656 [Conf ] Roberto Di Cosmo , Delia Kesner Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. [Citation Graph (0, 0)][DBLP ] ICALP, 1994, pp:462-472 [Conf ] Val Tannen , Delia Kesner , Laurence Puel A Typed Pattern Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1993, pp:262-274 [Conf ] Serenella Cerrito , Delia Kesner Pattern Matching as Cut Elimination. [Citation Graph (0, 0)][DBLP ] LICS, 1999, pp:98-108 [Conf ] Roberto Di Cosmo , Delia Kesner Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:35-46 [Conf ] Maria C. F. Ferreira , Delia Kesner , Laurence Puel Reducing AC-Termination to Termination. [Citation Graph (0, 0)][DBLP ] MFCS, 1998, pp:239-247 [Conf ] Delia Kesner Pattern Matching in Order-Sorted Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:267-276 [Conf ] Delia Kesner , Pablo E. Martínez López Explicit Substitutions for Objects and Functions. [Citation Graph (0, 0)][DBLP ] PLILP/ALP, 1998, pp:195-212 [Conf ] Eduardo Bonelli , Delia Kesner , Alejandro Ríos A de Bruijn Notation for Higher-Order Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 2000, pp:62-79 [Conf ] Eduardo Bonelli , Delia Kesner , Alejandro Ríos From Higher-Order to First-Order Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 2001, pp:47-62 [Conf ] Julien Forest , Delia Kesner Expression Reduction Systems with Patterns. [Citation Graph (0, 0)][DBLP ] RTA, 2003, pp:107-122 [Conf ] Delia Kesner Confluence Properties of Extensional and Non-Extensional lambda -Calculi with Explicit Substitutions (Extended Abstract). [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:184-199 [Conf ] Delia Kesner , Stephane Lengrand Extending the Explicit Substitution Paradigm. [Citation Graph (0, 0)][DBLP ] RTA, 2005, pp:407-422 [Conf ] Maria C. F. Ferreira , Delia Kesner , Laurence Puel lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. [Citation Graph (0, 0)][DBLP ] Appl. Algebra Eng. Commun. Comput., 1999, v:9, n:4, pp:333-371 [Journal ] Delia Kesner , Laurence Puel , Val Tannen A Typed Pattern Calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:124, n:1, pp:32-61 [Journal ] Delia Kesner Reasoning about Redundant Patterns. [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1997, v:1997, n:4, pp:- [Journal ] Delia Kesner , Pablo E. Martínez López Explicit Substitutions for Objects and Functions [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 2, pp:- [Journal ] Eduardo Bonelli , Delia Kesner , Alejandro Ríos de Bruijn Indices for Metaterms. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:6, pp:855-899 [Journal ] Eduardo Bonelli , Delia Kesner , Alejandro Ríos Relating Higher-order and First-order Rewriting. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:6, pp:901-947 [Journal ] Roberto Di Cosmo , Delia Kesner Simulating Expansions without Expansions. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1994, v:4, n:3, pp:315-362 [Journal ] Roberto Di Cosmo , Delia Kesner , Emmanuel Polonovski Proof Nets And Explicit Substitutions. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2003, v:13, n:3, pp:409-450 [Journal ] Delia Kesner Theory and applications of explicit substitutions: Introduction. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:1, pp:1- [Journal ] Serenella Cerrito , Delia Kesner Pattern matching as cut elimination. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:323, n:1-3, pp:71-127 [Journal ] Roberto Di Cosmo , Delia Kesner Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:169, n:2, pp:201-220 [Journal ] Delia Kesner Confluence of extensional and non-extensional lambda-calculi with explicit substitutions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:238, n:1-2, pp:183-220 [Journal ] Delia Kesner The Theory of Calculi with Explicit Substitutions Revisited. [Citation Graph (0, 0)][DBLP ] CSL, 2007, pp:238-252 [Conf ] Delia Kesner , Stephane Lengrand Resource operators for lambda-calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:4, pp:419-473 [Journal ] The Structural lambda -Calculus. [Citation Graph (, )][DBLP ] Perpetuality for Full and Safe Composition (in a Constructive Setting). [Citation Graph (, )][DBLP ] The Prismoid of Resources. [Citation Graph (, )][DBLP ] A Theory of Explicit Substitutions with Safe and Full Composition [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.303secs