Structures Algébriques en Théorie des types dépendents

Algrebraic Structures in Dependent Type Theory

• Auteur / Autrice : Vojtech Stepancik
• Direction : Assia Mahboubi
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 10/12/2024
• Etablissement(s) : Nantes Université
• Ecole(s) doctorale(s) : École doctorale Mathématiques et Sciences et Technologies du numérique, de l’Information et de la Communication

Résumé