Gabriel Hondet

According to our database, Gabriel Hondet authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A modular construction of type theories.

Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré

Log. Methods Comput. Sci., 2023

2022

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

Gabriel Hondet

PhD thesis, 2022

2021

Some Axioms for Mathematics.

Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

The New Rewriting Engine of Dedukti.

Gabriel Hondet, Frédéric Blanqui

CoRR, 2020

Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory.

Gabriel Hondet, Frédéric Blanqui

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

The New Rewriting Engine of Dedukti (System Description).

Gabriel Hondet, Frédéric Blanqui

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020