Gabriel Hondet
According to our database1,
Gabriel Hondet
authored at least 6 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
0
1
2
3
4
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2022
Expressing predicate subtyping in computational logical frameworks. (Expression du sous-typage par prédicats dans les cadres logiques calculatoires).
PhD thesis, 2022
2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2020
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory.
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020