The New Rewriting Engine of Dedukti (System Description). - Gabriel Hondet; Frédéric Blanqui (FSCD, 2020)

Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory. - Gabriel Hondet; Frédéric Blanqui (TYPES, 2020)

The New Rewriting Engine of Dedukti. - Gabriel Hondet; Frédéric Blanqui (CoRR, 2020)

Some Axioms for Mathematics. - Frédéric Blanqui; Gilles Dowek; Émilie Grienenberger; Gabriel Hondet; François Thiré (FSCD, 2021)

Expressing predicate subtyping in computational logical frameworks. (Expression du sous-typage par prédicats dans les cadres logiques calculatoires). - Gabriel Hondet (2022)

A modular construction of type theories. - Frédéric Blanqui; Gilles Dowek; Émilie Grienenberger; Gabriel Hondet; François Thiré (Log. Methods Comput. Sci., 2023)