Chantal Keller (INRIA Saclay - Ile de France

Identifiers

• name variant Chantal Keller (INRIA Saclay - Ile de France 0.60 · backfill

Papers (2)

1. The Refined Calculus of Inductive Construction: Parametricity and Abstraction cs.LO · 2012 · author #1
2. Parametricity in an Impredicative Sort cs.LO · 2012 · author #1

Mentions

• 1211.6341 #1 · backfill · confidence 0.70 Chantal Keller (INRIA Saclay - Ile de France
• 1209.6336 #1 · backfill · confidence 0.70 Chantal Keller (INRIA Saclay - Ile de France

Frequent Coauthors

• LIX) 2 shared papers
• Marc Lasson (LIP) 2 shared papers