paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 253130573Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Genestier, Guillaume (19..-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Date de naissance :    19XX

Notes

Note publique d'information : 
Auteur d'une thèse en Informatique à l'université Paris-Saclay en 2020

Source

Dependently-Typed Termination and Embedding of Extensional Universe Polymorphic Type Theory using Rewriting / Guillaume Genestier ; sous la direction de Frédéric Blanqui et de Olivier Hermant. Thèse de doctorat : Informatique : université Paris-Saclay : 2020

Frédéric Blanqui, Guillaume Genestier, Olivier Hermant. Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. (10.4230/LIPIcs.FSCD.2019.9). (hal-01943941v4)

Identifiants externes

Identifiant HAL : guillaume-genestier

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...