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