Benjamin Werner (INRIA Saclay

Identifiers

• name variant Benjamin Werner (INRIA Saclay 0.60 · backfill

Papers (1)

1. Proof-irrelevant model of CC with predicative induction and judgmental equality cs.LO · 2011 · author #4

Mentions

• 1111.0123 #4 · backfill · confidence 0.70 Benjamin Werner (INRIA Saclay

Frequent Coauthors

• France) 1 shared papers
• Gyesik Lee (ROSAEC Center 1 shared papers
• Korea) 1 shared papers
• Seoul National University 1 shared papers