Scholar
Paul-André Melliès
Google Scholar ID: 08c21JEAAAAJ
CNRS, Université Paris Cité
Semantics of proofs and programs
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,099
H-index
16
i10-index
37
Publications
20
Co-authors
19
list available
Publications
7 items
An explicit shuffle construction of the homotopy span model of differential linear logic
2026
Cited
0
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
Co-authors
7 total
Charles Grellois
University of Sheffield
Samuel Mimram
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
Samson Abramsky
Professor of Computer Science, UCL
Christine Tasson
Professor
Russ Harmer
CNRS, Lyon
Zhong Shao
Yale University
Gilles Barthe
MPI-SP and IMDEA Software Institute
