Identifiant pérenne de la notice : 253130573
Notice de type
Personne
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)
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