×

zbMATH — the first resource for mathematics

Kesner, Delia

Compute Distance To:
Author ID: kesner.delia Recent zbMATH articles by "Kesner, Delia"
Published as: Kesner, D.; Kesner, Delia
External Links: MGP
Documents Indexed: 60 Publications since 1991, including 2 Books

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 196 times in 95 Documents Cited by Year
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
14
2014
A nonstandard standardization theorem. Zbl 1284.68121
Accattoli, Beniamino; Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos
13
2014
Pure pattern calculus. Zbl 1178.03039
Jay, Barry; Kesner, Delia
13
2006
The structural \(\lambda \)-calculus. Zbl 1287.03034
Accattoli, Beniamino; Kesner, Delia
12
2010
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
11
2009
Quantitative types for the linear substitution calculus. Zbl 1418.03180
Kesner, Delia; Ventura, Daniel
9
2014
The theory of calculi with explicit substitutions revisited. Zbl 1179.03022
Kesner, Delia
9
2007
Proof nets and explicit substitutions. Zbl 1047.03047
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
9
2003
A typed pattern calculus. Zbl 0844.68021
Kesner, Delia; Puel, Laurence; Tannen, Val
8
1996
Simulating expansions without expansions. Zbl 0831.03004
Di Cosmo, Roberto; Kesner, Delia
8
1994
Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions. Zbl 0944.68033
Kesner, D.
7
2000
Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158
Di Cosmo, Roberto; Kesner, Delia
7
1996
Resource operators for \(\lambda\)-calculus. Zbl 1111.68018
Kesner, Delia; Lengrand, Stéphane
6
2007
A theory of explicit substitutions with safe and full composition. Zbl 1168.68008
Kesner, Delia
5
2009
Pattern matching as cut elimination. Zbl 1078.68135
Cerrito, Serenella; Kesner, Delia
5
2004
\(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization. Zbl 1355.68039
Ferreira, Maria C. F.; Kesner, Delia; Puel, Laurence
5
1996
Reasoning about call-by-need by means of types. Zbl 06591834
Kesner, Delia
4
2016
A resource aware computational interpretation for Herbelin’s syntax. Zbl 1407.68272
Kesner, Delia; Ventura, Daniel
4
2015
The permutative \(\lambda \)-calculus. Zbl 1352.03019
Accattoli, Beniamino; Kesner, Delia
4
2012
Expression reduction systems and extensions: An overview. Zbl 1171.68510
Glauert, John; Kesner, Delia; Khasidashvili, Zurab
4
2005
A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022
Di Cosmo, Roberto; Kesner, Delia
4
1993
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
3
2017
The prismoid of resources. Zbl 1250.03024
Kesner, Delia; Renaud, Fabien
3
2009
A de Bruijn notation for higher-order rewriting. (Extended abstract). Zbl 0964.68520
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
3
2000
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112
Di Cosmo, Roberto; Kesner, Delia
3
1994
Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus. Zbl 1237.03011
Accattoli, Beniamino; Kesner, Delia
2
2012
Perpetuality for full and safe composition (in a constructive setting). Zbl 1155.68352
Kesner, Delia
2
2008
From higher-order to first-order rewriting (extended abstract). Zbl 0981.68503
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
2
2001
Non-idempotent types for classical calculi in natural deduction style. Zbl 07155170
Kesner, Delia; Vial, Pierre
1
2020
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2018
Call-by-need, neededness and all that. Zbl 06904539
Kesner, Delia; Ríos, Alejandro; Viso, Andrés
1
2018
On abstract normalisation beyond neededness. Zbl 1387.68143
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro
1
2017
Strong normalization through intersection types and memory. Zbl 1394.03023
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
1
2016
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2015
Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio
1
2014
Normalisation for dynamic pattern calculi. Zbl 1437.68040
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Rios, Alejandro
1
2012
Strong cut-elimination systems for Hudelmaier’s depth-bounded sequent calculus for implicational logic. Zbl 1222.03060
Dyckhoff, Roy; Kesner, Delia; Lengrand, Stéphane
1
2006
Relating higher-order and first-order rewriting. Zbl 1085.68075
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
de Bruijn indices for metaterms. Zbl 1085.68074
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
Extending the explicit substitution paradigm. Zbl 1078.03027
Kesner, Delia; Lengrand, Stéphane
1
2005
Expression reduction systems with patterns. Zbl 1038.68064
Forest, Julien; Kesner, Delia
1
2003
Proof nets and explicit substitutions. Zbl 0955.03064
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
1
2000
Explicite substitutions for objects and functions. Zbl 0946.68020
Kesner, Delia; Martinez Lopez, Pablo E.
1
1999
Reasoning about redundant patterns. Zbl 0924.68047
Kesner, Delia
1
1997
Reasoning about layered, wildcard and product patterns. Zbl 0988.68531
Kesner, Delia
1
1994
Non-idempotent types for classical calculi in natural deduction style. Zbl 07155170
Kesner, Delia; Vial, Pierre
1
2020
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2018
Call-by-need, neededness and all that. Zbl 06904539
Kesner, Delia; Ríos, Alejandro; Viso, Andrés
1
2018
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
3
2017
On abstract normalisation beyond neededness. Zbl 1387.68143
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro
1
2017
Reasoning about call-by-need by means of types. Zbl 06591834
Kesner, Delia
4
2016
Strong normalization through intersection types and memory. Zbl 1394.03023
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
1
2016
A resource aware computational interpretation for Herbelin’s syntax. Zbl 1407.68272
Kesner, Delia; Ventura, Daniel
4
2015
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2015
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
14
2014
A nonstandard standardization theorem. Zbl 1284.68121
Accattoli, Beniamino; Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos
13
2014
Quantitative types for the linear substitution calculus. Zbl 1418.03180
Kesner, Delia; Ventura, Daniel
9
2014
Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio
1
2014
The permutative \(\lambda \)-calculus. Zbl 1352.03019
Accattoli, Beniamino; Kesner, Delia
4
2012
Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus. Zbl 1237.03011
Accattoli, Beniamino; Kesner, Delia
2
2012
Normalisation for dynamic pattern calculi. Zbl 1437.68040
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Rios, Alejandro
1
2012
The structural \(\lambda \)-calculus. Zbl 1287.03034
Accattoli, Beniamino; Kesner, Delia
12
2010
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
11
2009
A theory of explicit substitutions with safe and full composition. Zbl 1168.68008
Kesner, Delia
5
2009
The prismoid of resources. Zbl 1250.03024
Kesner, Delia; Renaud, Fabien
3
2009
Perpetuality for full and safe composition (in a constructive setting). Zbl 1155.68352
Kesner, Delia
2
2008
The theory of calculi with explicit substitutions revisited. Zbl 1179.03022
Kesner, Delia
9
2007
Resource operators for \(\lambda\)-calculus. Zbl 1111.68018
Kesner, Delia; Lengrand, Stéphane
6
2007
Pure pattern calculus. Zbl 1178.03039
Jay, Barry; Kesner, Delia
13
2006
Strong cut-elimination systems for Hudelmaier’s depth-bounded sequent calculus for implicational logic. Zbl 1222.03060
Dyckhoff, Roy; Kesner, Delia; Lengrand, Stéphane
1
2006
Expression reduction systems and extensions: An overview. Zbl 1171.68510
Glauert, John; Kesner, Delia; Khasidashvili, Zurab
4
2005
Relating higher-order and first-order rewriting. Zbl 1085.68075
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
de Bruijn indices for metaterms. Zbl 1085.68074
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
Extending the explicit substitution paradigm. Zbl 1078.03027
Kesner, Delia; Lengrand, Stéphane
1
2005
Pattern matching as cut elimination. Zbl 1078.68135
Cerrito, Serenella; Kesner, Delia
5
2004
Proof nets and explicit substitutions. Zbl 1047.03047
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
9
2003
Expression reduction systems with patterns. Zbl 1038.68064
Forest, Julien; Kesner, Delia
1
2003
From higher-order to first-order rewriting (extended abstract). Zbl 0981.68503
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
2
2001
Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions. Zbl 0944.68033
Kesner, D.
7
2000
A de Bruijn notation for higher-order rewriting. (Extended abstract). Zbl 0964.68520
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
3
2000
Proof nets and explicit substitutions. Zbl 0955.03064
Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel
1
2000
Explicite substitutions for objects and functions. Zbl 0946.68020
Kesner, Delia; Martinez Lopez, Pablo E.
1
1999
Reasoning about redundant patterns. Zbl 0924.68047
Kesner, Delia
1
1997
A typed pattern calculus. Zbl 0844.68021
Kesner, Delia; Puel, Laurence; Tannen, Val
8
1996
Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158
Di Cosmo, Roberto; Kesner, Delia
7
1996
\(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization. Zbl 1355.68039
Ferreira, Maria C. F.; Kesner, Delia; Puel, Laurence
5
1996
Simulating expansions without expansions. Zbl 0831.03004
Di Cosmo, Roberto; Kesner, Delia
8
1994
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112
Di Cosmo, Roberto; Kesner, Delia
3
1994
Reasoning about layered, wildcard and product patterns. Zbl 0988.68531
Kesner, Delia
1
1994
A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022
Di Cosmo, Roberto; Kesner, Delia
4
1993
all top 5

Cited by 114 Authors

18 Kesner, Delia
7 Ayala-Rincón, Mauricio
6 Accattoli, Beniamino
6 Bonelli, Eduardo
5 Cavalcanti de Moura, Flávio Leonardo
5 Fernández, Maribel
4 Di Cosmo, Roberto
4 Jay, C. Barry
4 Kamareddine, Fairouz D.
4 Ríos, Alejandro
4 Ronchi Della Rocca, Simona
4 Viso, Andrés
3 Bucciarelli, Antonio
3 Cirstea, Horatiu
3 De Vrijer, Roel C.
3 Kirchner, Claude
3 Lombardi, Carlos
3 Lima Ventura, Daniel
2 Blanqui, Frédéric
2 Bloo, Roel
2 Danvy, Olivier
2 de Carvalho, Daniel
2 Edi, Juan
2 Faure, Germain
2 Jouannaud, Jean-Pierre
2 Klop, Jan Willem
2 Liquori, Luigi
2 Mackie, Ian
2 Pagani, Michele
2 Petit, Barbara
2 Renaud, Fabien
2 Tortora de Falco, Lorenzo
2 Tranquilli, Paolo
2 van Oostrom, Vincent
2 Vial, Pierre
1 Akama, Yohji
1 Alves, Sandra
1 Arrighi, Pablo
1 Bacelar Almeida, José
1 Barbosa, A. V.
1 Barenbaum, Pablo
1 Barendregt, Hendrik Pieter
1 Bergstra, Jan A.
1 Bierman, Gavin M.
1 Brock-Nannestad, Taus
1 Broda, Sabine
1 Cerrito, Serenella
1 Chemouil, David
1 Cunha, Alcino
1 De Benedetti, Erika
1 Díaz-Caro, Alejandro
1 Dyckhoff, Roy
1 Espírito Santo, José
1 Forest, Julien
1 Fouqueré, Christophe
1 Fridlender, Daniel
1 Fujita, Ken-etsu
1 Gabbay, Murdoch James
1 García-Pérez, Álvaro
1 Geuvers, Jan Herman
1 Ghani, Neil
1 Ghica, Dan R.
1 Ghilezan, Silvia
1 Given-Wilson, Thomas
1 Graham-Lengrand, Stéphane
1 Guenot, Nicolas
1 Guerrini, Stefano
1 Hilken, Barnaby P.
1 Honsell, Furio
1 Houtmann, Clément
1 Ivetić, Jelena
1 Joachimski, Felix
1 Johannsen, Jacob
1 Ketema, Jeroen
1 Lang, Frédéric
1 Lengrand, Stéphane Jean Eric
1 Lenisa, Marina
1 Lescanne, Pierre
1 Likavec, Silvia
1 Martin, Alexis
1 Matthes, Ralph
1 Moggi, Eugenio
1 Muñoz, César A.
1 Muroya, Koko
1 Nakazawa, Koji
1 Nogueira, Pablo
1 Okada, Mitsuhiro
1 Pagano, Miguel
1 Paolini, Luca
1 Pédrot, Pierre-Marie
1 Pfenning, Frank
1 Piccolo, Mauro
1 Pinto, Jorge Sousa
1 Pinto, Luís F.
1 Quatrini, Myriam
1 Riba, Colin
1 Rocha-Oliveira, Ana Cristina
1 Rose, Kristoffer Høgsbro
1 Rubio, Albert
1 Sacerdoti Coen, Claudio
...and 14 more Authors

Citations by Year