Samuel Mimram
Scholar

Samuel Mimram

Google Scholar ID: 317FQxEAAAAJ
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
category theorytype theorylogicrewritingconcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,064
 
H-index
17
 
i10-index
30
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
4 items
Classifying covering types in homotopy type theory
2025
Cited
0
Realization of relational presheaves
2025
Cited
0
Hypercubical manifolds in homotopy type theory
2025
Cited
0
Polygraphs: From Rewriting to Higher Categories
arXiv.org · 2023
Cited
15
Resume (English only)
Co-authors
15 total
Eric Goubault
Eric Goubault
Ecole Polytechnique
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Alexandre Chapoutot
Alexandre Chapoutot
ENSTA Paris - U2IS
Philippe Malbos
Philippe Malbos
Université Claude Bernard Lyon 1
Paul-André Melliès
Paul-André Melliès
CNRS, Université Paris Cité
Olivier Bouissou
Olivier Bouissou
MathWorks