Paul-André Melliès
Scholar

Paul-André Melliès

Google Scholar ID: 08c21JEAAAAJ
CNRS, Université Paris Cité
Semantics of proofs and programs
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,099
 
H-index
16
 
i10-index
37
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
6 items
Definitional Inversion, Without Normalisation
2026
Cited
0
Syntax and semantics of focalisation with relative monads and comonads
2026
Cited
0
The Latent Space of Equational Theories
2026
Cited
0
A cartesian closed fibration of higher-order regular languages
2026
Cited
0
Classical notions of computation and the Hasegawa-Thielecke theorem
2025
Cited
0
The categorical contours of the Chomsky-Schützenberger representation theorem
arXiv.org · 2023
Cited
3
Resume (English only)
Co-authors
19 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Charles Grellois
Charles Grellois
University of Sheffield
Co-author 4
Co-author 4
Samuel Mimram
Samuel Mimram
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
Samson Abramsky
Samson Abramsky
Professor of Computer Science, UCL
Co-author 7
Co-author 7
Co-author 8
Co-author 8