Scholar
Samuel Mimram
Google Scholar ID: 317FQxEAAAAJ
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
category theory
type theory
logic
rewriting
concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,064
H-index
17
i10-index
30
Publications
20
Co-authors
15
list available
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
Co-authors
10 total
Eric Goubault
Ecole Polytechnique
Alexandre Chapoutot
ENSTA Paris - U2IS
Philippe Malbos
Université Claude Bernard Lyon 1
Paul-André Melliès
CNRS, Université Paris Cité
Olivier Bouissou
MathWorks
Christine Tasson
Professor
Cédric Ho Thanh
RIKEN
Cinzia Di Giusto
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))
