D
Delia Kesner
Researcher at Paris Diderot University
Publications - 26
Citations - 259
Delia Kesner is an academic researcher from Paris Diderot University. The author has contributed to research in topics: Type (model theory) & Intersection. The author has an hindex of 9, co-authored 26 publications receiving 223 citations. Previous affiliations of Delia Kesner include University of Paris & Pierre-and-Marie-Curie University.
Papers
More filters
Book ChapterDOI
Reasoning About Call-by-need by Means of Types
TL;DR: It is shown that call-by-need and call- by-name are observationally equivalent, so that in particular, the former turns out to be a correct implementation of the latter.
Book ChapterDOI
Quantitative Types for the Linear Substitution Calculus
Delia Kesner,Daniel Ventura +1 more
TL;DR: Two non-idempotent intersection type systems for the linear substitution calculus, a calculus with partial substitutions acting at a distance that is a computational interpretation of linear logic proof-nets, are defined.
Book ChapterDOI
The Inhabitation Problem for Non-idempotent Intersection Types
TL;DR: The inhabitation problem for intersection types is known to be undecidable, but it is known that it is decidable in the case of non-idempotent intersection types.
Types as Resources for Classical Natural Deduction.
Delia Kesner,Pierre Vial +1 more
TL;DR: Two resource aware typing systems for the λμ-calculus based on non-idempotent intersection and union types are defined and typability provides upper bounds for the length of head-reduction sequences and maximal reduction sequences.
Book ChapterDOI
The Bang Calculus Revisited
TL;DR: Call-by-Push-Value (CBPV) as discussed by the authors is a programming paradigm subsuming both Call-By-Name (CBN) and Call-byValue (CBV) semantics.