Marc Lasson (LIP)

Identifiers

• name variant Marc Lasson (LIP) 0.60 · backfill

Papers (2)

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

Mentions

• 1211.6341 #3 · backfill · confidence 0.70 Marc Lasson (LIP)
• 1209.6336 #3 · backfill · confidence 0.70 Marc Lasson (LIP)

Frequent Coauthors

• Chantal Keller (INRIA Saclay - Ile de France 2 shared papers
• LIX) 2 shared papers