34 citations · 144 across the 66 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 8 cited
A modular construction of type theories
Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger +2
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several…
cs.LO2021
Interacting Safely with an Unsafe Environment
Gilles Dowek
We give a presentation of Pure type systems where contexts need not be well-formed and show that this presentation is equivalent to the usual one. The main motivation for this pres…