Edit Profile (opens in new tab) Kesner, Delia Compute Distance To: Compute Author ID: kesner.delia Published as: Kesner, Delia; Kesner, D. External Links: MGP Documents Indexed: 58 Publications since 1991 4 Contributions as Editor Co-Authors: 30 Co-Authors with 52 Joint Publications 336 Co-Co-Authors all top 5 Co-Authors 10 single-authored 8 Ríos, Alejandro 7 Bonelli, Eduardo 7 Bucciarelli, Antonio 6 Di Cosmo, Roberto 6 Lima Ventura, Daniel 5 Accattoli, Beniamino 4 Ronchi Della Rocca, Simona 3 Lengrand, Stéphane Jean Eric 3 Lombardi, Carlos 3 Puel, Laurence 3 Vial, Pierre 2 Ferreira, Maria C. F. 2 Forest, Julien 2 Jay, C. Barry 2 Martínez-López, Pablo E. 2 Polonovski, Emmanuel 2 Renaud, Fabien 2 Viso, Andrés 1 Ayala-Rincón, Mauricio 1 Cerrito, Serenella 1 Cavalcanti de Moura, Flávio Leonardo 1 Dyckhoff, Roy 1 Finger, Marcelo 1 Glauert, John 1 Graham-Lengrand, Stéphane 1 Khasidashvili, Zurab O. 1 Peyrot, Loïc 1 Pientka, Brigitte 1 Tannen, Val 1 Viana, Petrucio all top 5 Serials 6 Theoretical Computer Science 5 Logical Methods in Computer Science 4 MSCS. Mathematical Structures in Computer Science 2 Information and Computation 2 Journal of Logic and Computation 2 Journal of Functional Programming 2 The Journal of Functional and Logic Programming 1 Journal of Automated Reasoning 1 Applicable Algebra in Engineering, Communication and Computing 1 Logic Journal of the IGPL 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) Fields 48 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 228 times in 105 Documents Cited by ▼ Year ▼ The structural \(\lambda \)-calculus. Zbl 1287.03034Accattoli, Beniamino; Kesner, Delia 15 2010 The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona 15 2014 A nonstandard standardization theorem. Zbl 1284.68121Accattoli, Beniamino; Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos 15 2014 Pure pattern calculus. Zbl 1178.03039Jay, Barry; Kesner, Delia 12 2006 First-class patterns. Zbl 1163.68315Jay, Barry; Kesner, Delia 12 2009 Quantitative types for the linear substitution calculus. Zbl 1418.03180Kesner, Delia; Ventura, Daniel 11 2014 The theory of calculi with explicit substitutions revisited. Zbl 1179.03022Kesner, Delia 11 2007 Proof nets and explicit substitutions. Zbl 1047.03047Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel 10 2003 Simulating expansions without expansions. Zbl 0831.03004Di Cosmo, Roberto; Kesner, Delia 8 1994 Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions. Zbl 0944.68033Kesner, D. 7 2000 Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 7 2017 Resource operators for \(\lambda\)-calculus. Zbl 1111.68018Kesner, Delia; Lengrand, Stéphane 7 2007 Reasoning about call-by-need by means of types. Zbl 1475.68064Kesner, Delia 7 2016 A typed pattern calculus. Zbl 0844.68021Kesner, Delia; Puel, Laurence; Tannen, Val 6 1996 Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158Di Cosmo, Roberto; Kesner, Delia 6 1996 A theory of explicit substitutions with safe and full composition. Zbl 1168.68008Kesner, Delia 6 2009 A resource aware computational interpretation for Herbelin’s syntax. Zbl 1407.68272Kesner, Delia; Ventura, Daniel 5 2015 \(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization. Zbl 1355.68039Ferreira, Maria C. F.; Kesner, Delia; Puel, Laurence 5 1996 Pattern matching as cut elimination. Zbl 1078.68135Cerrito, Serenella; Kesner, Delia 5 2004 Expression reduction systems and extensions: An overview. Zbl 1171.68510Glauert, John; Kesner, Delia; Khasidashvili, Zurab 4 2005 The bang calculus revisited. Zbl 07368082Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés 4 2020 The permutative \(\lambda \)-calculus. Zbl 1352.03019Accattoli, Beniamino; Kesner, Delia 4 2012 A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022Di Cosmo, Roberto; Kesner, Delia 4 1993 The prismoid of resources. Zbl 1250.03024Kesner, Delia; Renaud, Fabien 3 2009 A de Bruijn notation for higher-order rewriting. (Extended abstract). Zbl 0964.68520Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro 3 2000 Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus. Zbl 1237.03011Accattoli, Beniamino; Kesner, Delia 3 2012 Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112Di Cosmo, Roberto; Kesner, Delia 3 1994 From higher-order to first-order rewriting (extended abstract). Zbl 0981.68503Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro 2 2001 Call-by-need, neededness and all that. Zbl 06904539Kesner, Delia; Ríos, Alejandro; Viso, Andrés 2 2018 Inhabitation for non-idempotent intersection types. Zbl 1448.68208Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona 2 2018 Perpetuality for full and safe composition (in a constructive setting). Zbl 1155.68352Kesner, Delia 2 2008 Types as resources for classical natural deduction. Zbl 1434.03053Kesner, Delia; Vial, Pierre 2 2017 Tight typings and split bounds, fully developed. Zbl 1482.68077Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia 2 2020 Non-idempotent types for classical calculi in natural deduction style. Zbl 07155170Kesner, Delia; Vial, Pierre 2 2020 Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio 2 2014 Reasoning about redundant patterns. Zbl 0924.68047Kesner, Delia 1 1997 Reasoning about layered, wildcard and product patterns. Zbl 0988.68531Kesner, Delia 1 1994 Strong normalization through intersection types and memory. Zbl 1394.03023Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 1 2016 On abstract normalisation beyond neededness. Zbl 1387.68143Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro 1 2017 de Bruijn indices for metaterms. Zbl 1085.68074Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro 1 2005 Relating higher-order and first-order rewriting. Zbl 1085.68075Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro 1 2005 Expression reduction systems with patterns. Zbl 1038.68064Forest, Julien; Kesner, Delia 1 2003 Explicite substitutions for objects and functions. Zbl 0946.68020Kesner, Delia; Martinez Lopez, Pablo E. 1 1999 Proof nets and explicit substitutions. Zbl 0955.03064Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel 1 2000 Extending the explicit substitution paradigm. Zbl 1078.03027Kesner, Delia; Lengrand, Stéphane 1 2005 A prismoid framework for languages with resources. Zbl 1231.68103Kesner, Delia; Renaud, Fabien 1 2011 Normalisation for dynamic pattern calculi. Zbl 1437.68040Bonelli, 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.03060Dyckhoff, Roy; Kesner, Delia; Lengrand, Stéphane 1 2006 Observability for pair pattern calculi. Zbl 1367.68048Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona 1 2015 The bang calculus revisited. Zbl 07368082Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés 4 2020 Tight typings and split bounds, fully developed. Zbl 1482.68077Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia 2 2020 Non-idempotent types for classical calculi in natural deduction style. Zbl 07155170Kesner, Delia; Vial, Pierre 2 2020 Call-by-need, neededness and all that. Zbl 06904539Kesner, Delia; Ríos, Alejandro; Viso, Andrés 2 2018 Inhabitation for non-idempotent intersection types. Zbl 1448.68208Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona 2 2018 Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 7 2017 Types as resources for classical natural deduction. Zbl 1434.03053Kesner, Delia; Vial, Pierre 2 2017 On abstract normalisation beyond neededness. Zbl 1387.68143Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro 1 2017 Reasoning about call-by-need by means of types. Zbl 1475.68064Kesner, Delia 7 2016 Strong normalization through intersection types and memory. Zbl 1394.03023Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 1 2016 A resource aware computational interpretation for Herbelin’s syntax. Zbl 1407.68272Kesner, Delia; Ventura, Daniel 5 2015 Observability for pair pattern calculi. Zbl 1367.68048Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona 1 2015 The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona 15 2014 A nonstandard standardization theorem. Zbl 1284.68121Accattoli, Beniamino; Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos 15 2014 Quantitative types for the linear substitution calculus. Zbl 1418.03180Kesner, Delia; Ventura, Daniel 11 2014 Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio 2 2014 The permutative \(\lambda \)-calculus. Zbl 1352.03019Accattoli, Beniamino; Kesner, Delia 4 2012 Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus. Zbl 1237.03011Accattoli, Beniamino; Kesner, Delia 3 2012 Normalisation for dynamic pattern calculi. Zbl 1437.68040Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Rios, Alejandro 1 2012 A prismoid framework for languages with resources. Zbl 1231.68103Kesner, Delia; Renaud, Fabien 1 2011 The structural \(\lambda \)-calculus. Zbl 1287.03034Accattoli, Beniamino; Kesner, Delia 15 2010 First-class patterns. Zbl 1163.68315Jay, Barry; Kesner, Delia 12 2009 A theory of explicit substitutions with safe and full composition. Zbl 1168.68008Kesner, Delia 6 2009 The prismoid of resources. Zbl 1250.03024Kesner, Delia; Renaud, Fabien 3 2009 Perpetuality for full and safe composition (in a constructive setting). Zbl 1155.68352Kesner, Delia 2 2008 The theory of calculi with explicit substitutions revisited. Zbl 1179.03022Kesner, Delia 11 2007 Resource operators for \(\lambda\)-calculus. Zbl 1111.68018Kesner, Delia; Lengrand, Stéphane 7 2007 Pure pattern calculus. Zbl 1178.03039Jay, Barry; Kesner, Delia 12 2006 Strong cut-elimination systems for Hudelmaier’s depth-bounded sequent calculus for implicational logic. Zbl 1222.03060Dyckhoff, Roy; Kesner, Delia; Lengrand, Stéphane 1 2006 Expression reduction systems and extensions: An overview. Zbl 1171.68510Glauert, John; Kesner, Delia; Khasidashvili, Zurab 4 2005 de Bruijn indices for metaterms. Zbl 1085.68074Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro 1 2005 Relating higher-order and first-order rewriting. Zbl 1085.68075Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro 1 2005 Extending the explicit substitution paradigm. Zbl 1078.03027Kesner, Delia; Lengrand, Stéphane 1 2005 Pattern matching as cut elimination. Zbl 1078.68135Cerrito, Serenella; Kesner, Delia 5 2004 Proof nets and explicit substitutions. Zbl 1047.03047Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel 10 2003 Expression reduction systems with patterns. Zbl 1038.68064Forest, Julien; Kesner, Delia 1 2003 From higher-order to first-order rewriting (extended abstract). Zbl 0981.68503Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro 2 2001 Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions. Zbl 0944.68033Kesner, D. 7 2000 A de Bruijn notation for higher-order rewriting. (Extended abstract). Zbl 0964.68520Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro 3 2000 Proof nets and explicit substitutions. Zbl 0955.03064Di Cosmo, Roberto; Kesner, Delia; Polonovski, Emmanuel 1 2000 Explicite substitutions for objects and functions. Zbl 0946.68020Kesner, Delia; Martinez Lopez, Pablo E. 1 1999 Reasoning about redundant patterns. Zbl 0924.68047Kesner, Delia 1 1997 A typed pattern calculus. Zbl 0844.68021Kesner, Delia; Puel, Laurence; Tannen, Val 6 1996 Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Zbl 0874.68158Di Cosmo, Roberto; Kesner, Delia 6 1996 \(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization. Zbl 1355.68039Ferreira, Maria C. F.; Kesner, Delia; Puel, Laurence 5 1996 Simulating expansions without expansions. Zbl 0831.03004Di Cosmo, Roberto; Kesner, Delia 8 1994 Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. Zbl 1418.68112Di Cosmo, Roberto; Kesner, Delia 3 1994 Reasoning about layered, wildcard and product patterns. Zbl 0988.68531Kesner, Delia 1 1994 A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. Zbl 1422.03022Di Cosmo, Roberto; Kesner, Delia 4 1993 all cited Publications top 5 cited Publications all top 5 Cited by 122 Authors 20 Kesner, Delia 7 Ayala-Rincón, Mauricio 6 Accattoli, Beniamino 6 Bonelli, Eduardo 5 Cavalcanti de Moura, Flávio Leonardo 5 Fernández, Maribel 5 Jay, C. Barry 5 Ríos, Alejandro 5 Viso, Andrés 4 Bucciarelli, Antonio 4 Di Cosmo, Roberto 4 Kamareddine, Fairouz D. 4 Ronchi Della Rocca, Simona 4 Lima Ventura, Daniel 3 Cirstea, Horatiu 3 de Vrijer, Roel 3 Espírito Santo, José 3 Kirchner, Claude 3 Lombardi, Carlos 3 Pinto, Luís F. 2 Blanqui, Frédéric 2 Bloo, Roel 2 Danvy, Olivier 2 de Carvalho, Daniel 2 Edi, Juan 2 Faure, Germain 2 Ghica, Dan R. 2 Guerrieri, Giulio 2 Guerrini, Stefano 2 Jouannaud, Jean-Pierre 2 Klop, Jan Willem 2 Mackie, Ian 2 Matthes, Ralph 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 Aoto, Takahito 1 Arrighi, Pablo 1 Bacelar Almeida, José 1 Barbosa, A. V. 1 Barenbaum, Pablo 1 Barendregt, Hendrik Pieter 1 Bergstra, Jan A. 1 Brock-Nannestad, Taus 1 Broda, Sabine 1 Cerrito, Serenella 1 Chemouil, David 1 Chouquet, Jules 1 Cunha, Alcino 1 De Benedetti, Erika 1 Díaz-Caro, Alejandro 1 Dyckhoff, Roy 1 Faggian, Claudia 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 Ghilezan, Silvia 1 Given-Wilson, Thomas 1 Graham-Lengrand, Stéphane 1 Guenot, Nicolas 1 Gundersen, Tom 1 Heijltjes, Willem B. 1 Hilken, Barnaby P. 1 Houtmann, Clément 1 Hughes, Jack M. 1 Ivetić, Jelena 1 Johannsen, Jacob 1 Ketema, Jeroen 1 Kikuchi, Kentaro 1 Lang, Frédéric 1 Lengrand, Stéphane Jean Eric 1 Lescanne, Pierre 1 Likavec, Silvia 1 Liquori, Luigi 1 Martin, Alexis 1 Moggi, Eugenio 1 Moot, Richard 1 Muroya, Koko 1 Nakazawa, Koji 1 Nogueira, Pablo 1 Okada, Mitsuhiro 1 Orchard, Dominic A. 1 Pagano, Miguel 1 Paolini, Luca 1 Parigot, Michel 1 Pédrot, Pierre-Marie 1 Peyrot, Loïc 1 Piccolo, Mauro 1 Pinto, Jorge Sousa ...and 22 more Authors all top 5 Cited in 15 Serials 20 Theoretical Computer Science 7 Information and Computation 7 Logical Methods in Computer Science 6 MSCS. Mathematical Structures in Computer Science 3 Journal of Functional Programming 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Computer and System Sciences 1 Studia Logica 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Higher-Order and Symbolic Computation 1 ACM Transactions on Computational Logic Cited in 3 Fields 85 Computer science (68-XX) 62 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) Citations by Year