Paul-André Melliès

Université Paris Cité, INRIA, CNRS, IRIF

Papers on Lattice

Total citations

Topics

h-index

Frequent co-authors

Mario M. Carneiro (1)Thierry Coquand (1)T. Coquand (1)Adrien Frabetti Mathieu (1)Adrien Frabetti Mathieu (1)Meven Lennon-Bertrand (1)Meven Lennon-Bertrand (1)Paul-André Melliès (1)

Papers (1)

Jul 15, 2026

Jul 15, 2026·also ENS, INRIA, UPenn

Definitional Inversion, Without Normalisation

Establishing injectivity of type constructors in non-normalizing dependent type systems could revolutionize our understanding of type theory's foundational properties.

Mario M. Carneiro, Thierry Coquand, T. Coquand +8

Paul-André Melliès

Frequent co-authors

Papers (1)

Search

Paul-André Melliès

Frequent co-authors

Papers (1)