We stand with Ukraine  

Gabriel Hondet

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
0
1
2
3
4
1
1
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A modular construction of type theories.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Gabriel Hondet
PhD thesis, 2022

2021
Some Axioms for Mathematics.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Gabriel Hondet
,
Frédéric Blanqui
CoRR, 2020

Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Gabriel Hondet
,
Frédéric Blanqui
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020


  Loading...