output
20032013
most citedTesting bibliometric indicators by their prediction of scientists promotions

93 citations

researchers with a paper here
collaborating institutions
Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012

The Refined Calculus of Inductive Construction: Parametricity and Abstraction

Chantal Keller, Marc Lasson

We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in…