Assia Mahboubi
Author
Alternate name Assia Mahboubi
Institution Vrije Universiteit Amsterdam
Past institutions Laboratoire des Sciences du Numérique de Nantes, Vrije Universiteit Amsterdam, Nantes Université, Centre National de la Recherche Scientifique, École Centrale de Nantes +5 more
H-index: 13
I10-index: 16
Works count: 60
Citations count: 1,173
Homotopy Type Theory: Univalent Foundations of Mathematics
2013 · Peter Aczel, Benedikt Ahrens, et al. · arXiv (Cornell University)
A Small Scale Reflection Extension for the Coq system
2008 · Georges Gonthier, Assia Mahboubi, et al.
Packaging Mathematical Structures
2009 · François Garillot, Georges Gonthier, et al. · Lecture notes in computer science