Learning Definable Hypotheses on Trees. - Émilie Grienenberger; Martin Ritzert (ICDT, 2019)

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

Expressing Ecumenical Systems in the λΠ-Calculus Modulo Theory. - Émilie Grienenberger (TYPES, 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)