Concepedia

Delia Kesner

DK

Statistics

Publications

23

Citations

662

H-Index

18

Active since

1994

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

Université Paris-Sud

Laboratoire de Recherche en Informatique

Délégation Paris 7

Delia Kesner is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and programming languages.

Publications per year

1994–2020

23

Publications

23

A nonstandard standardization theorem

Beniamino Accattoli, Eduardo Bonelli, Delia Kesner et al. · 2014 · 57 citations

Computing, Computer Science, Programming Languages +5

First-class patterns

Barry Jay, Delia Kesner · Journal of Functional Programming · 2009 · 54 citations · Full text

Computing, Computer Science, Algorithms +9

Non-idempotent intersection types for the Lambda-Calculus

Antonio Bucciarelli, Delia Kesner, Daniel Ventura · Logic Journal of IGPL · 2017 · 52 citations

Computing, Computer Science, Algebra +11

Resource operators for λ-calculus

Delia Kesner, Stéphane Lengrand · Information and Computation · 2007 · 44 citations

Natural Sciences, Mathematics, Resource Valuation +4

Strong normalization of explicit substitutions via cut elimination in proof nets

Roberto Di Cosmo, Delia Kesner · 2002 · 41 citations

Computing, Computer Science, Mathematics +9

1–5 of 23