Delia Kesner

Identifiers

• name variant Delia Kesner 0.60 · backfill

Papers (3)

1. Tight Typings and Split Bounds cs.PL · 2018 · author #3
2. On abstract normalisation beyond neededness cs.LO · 2014 · author #2
3. A Theory of Explicit Substitutions with Safe and Full Composition cs.PL · 2009 · author #1

Mentions

• 1412.2118 #2 · backfill · confidence 0.70 Delia Kesner
• 0905.2539 #1 · backfill · confidence 0.70 Delia Kesner

Frequent Coauthors

• Alejandro Rios 1 shared papers
• Beniamino Accattoli 1 shared papers
• Carlos Lombardi 1 shared papers
• Eduardo Bonelli 1 shared papers
• St\'ephane Graham-Lengrand 1 shared papers