Recherche Avancée

Thèse en cours

Computing with Extensionality Principles in Types Theory

EN

Accès à la thèse

AttentionLa soutenance a eu lieu le 13/12/2022. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Loïc Pujet
Direction : Nicolas Tabareau, Anders Mortberg
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 01/09/2019
Soutenance le 13/12/2022
Etablissement(s) : Nantes Université
Ecole(s) doctorale(s) : MathSTIC (Nantes)