Short Talks by Postdoctoral Members
Type Classes for Mathematical Formalizations in Coq
Date & Time
October 03, 2012 | 3:45pm – 4:00pm
Location
S-101Speakers
Matthieu Sozeau, Institute for Advanced Study
Affiliation
INRIA Paris; Member, School of Mathematics