Guillaume Genestier

According to our database, Guillaume Genestier authored at least 4 papers between 2018 and 2020.

Collaborative distances:

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

2020

Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting. (Terminaison en présence de types dépendants et encodage par réécriture d'une théorie des types extensionelle avec polymorphisme d'univers).

Guillaume Genestier

PhD thesis, 2020

Encoding Agda Programs Using Rewriting.

Guillaume Genestier

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

2019

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting.

Frédéric Blanqui, Guillaume Genestier, Olivier Hermant

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Termination of λΠ modulo rewriting using the size-change principle (work in progress).

Frédéric Blanqui, Guillaume Genestier

CoRR, 2018