The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Delia Kesner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Delia Kesner
    Reasoning about Layered, Wildcard and Product Patterns. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:253-268 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Delia Kesner
    Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:603-617 [Conf]
  6. Roberto Di Cosmo, Delia Kesner
    Rewriting with Extensional Polymorphic Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:215-232 [Conf]
  7. Barry Jay, Delia Kesner
    Pure Pattern Calculus. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:100-114 [Conf]
  8. Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
    Proof Nets and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:63-81 [Conf]
  9. 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]
  10. 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]
  11. Val Tannen, Delia Kesner, Laurence Puel
    A Typed Pattern Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:262-274 [Conf]
  12. Serenella Cerrito, Delia Kesner
    Pattern Matching as Cut Elimination. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:98-108 [Conf]
  13. 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]
  14. Maria C. F. Ferreira, Delia Kesner, Laurence Puel
    Reducing AC-Termination to Termination. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:239-247 [Conf]
  15. Delia Kesner
    Pattern Matching in Order-Sorted Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:267-276 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Julien Forest, Delia Kesner
    Expression Reduction Systems with Patterns. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:107-122 [Conf]
  20. 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]
  21. Delia Kesner, Stephane Lengrand
    Extending the Explicit Substitution Paradigm. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:407-422 [Conf]
  22. 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]
  23. 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]
  24. Delia Kesner
    Reasoning about Redundant Patterns. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1997, v:1997, n:4, pp:- [Journal]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. Delia Kesner
    The Theory of Calculi with Explicit Substitutions Revisited. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:238-252 [Conf]
  35. 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]

  36. The Structural lambda-Calculus. [Citation Graph (, )][DBLP]


  37. Perpetuality for Full and Safe Composition (in a Constructive Setting). [Citation Graph (, )][DBLP]


  38. The Prismoid of Resources. [Citation Graph (, )][DBLP]


  39. A Theory of Explicit Substitutions with Safe and Full Composition [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002