Searching for authors named Delia Kesner – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
The theory of calculi with explicit substitutions revisited
- …The Theory of Calculi with Explicit Substitutions Revisited Delia Kesner PPS, Université Paris 7…
- Cited by 1 (0 self) – Add To MetaCart
-
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract)
- … (Extended Abstract) Delia Kesner CNRS and LRI, B at 490, Universit e Paris-Sud - 91405 Orsay Cedex, France…
- Cited by 20 (5 self) – Add To MetaCart
-
Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions
- …Confluence of Extensional and Non-Extensional -calculi with Explicit Substitutions Delia Kesner…
- Cited by 10 (2 self) – Add To MetaCart
-
Reasoning about Layered, Wildcard and Product Patterns
- …Reasoning about Layered, Wildcard and Product Patterns Delia Kesner CNRS and LRI Bat 490…
- Cited by 3 (2 self) – Add To MetaCart
-
Free Sequentiality in Orthogonal Order-Sorted Rewriting Systems with Constructors
- …Free Sequentiality in Orthogonal Order-Sorted Rewriting Systems with Constructors Delia Kesner…
- Cited by 1 (0 self) – Add To MetaCart
-
Pattern Matching in Order-Sorted Languages
- …PARIS RESEARCH LABORATORY d i g i t a l May 1991 10 Delia Kesner Pattern Matching in Order…
- Cited by 1 (1 self) – Add To MetaCart
-
Resource operators for λ-calculus
- …Resource operators for λ-calculus Delia Kesner 1 and Stéphane Lengrand 1,2 1 PPS, CNRS…
- Cited by 1 (0 self) – Add To MetaCart
-
Pattern Matching as Cut Elimination
- …Pattern Matching as Cut Elimination Serenella Cerrito Delia Kesner Abstract We present typed…
- Cited by 6 (1 self) – Add To MetaCart
-
A de Bruijn notation for higher-order rewriting (Extended Abstract)
- …A de Bruijn notation for higher-order rewriting (Extended Abstract) Eduardo Bonelli 1;2 , Delia…
- Add To MetaCart
-
Strong cutelimination systems for Hudelmaier’s depth-bounded sequent calculus for implicational logic, 2006. Full version. Available at http://www.pps.jussieu.fr/~lengrand/Work/Papers.html
- … logic Roy Dyckhoff 1 , Delia Kesner 2 , and Stéphane Lengrand 1,2 1 PPS, CNRS and Université Paris 7…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
