Formalisation and Meta-Theory of Type Theory
Dans cette thèse, je parle de la méta-théorie de la théorie des types et de la façon de la formaliser dans un assistant de preuve. Je me concentre d abord sur une traduction conservative de la théorie des types extensionnelle vers la théorie des types intensionnelle ou faible, entièrement écrite en...
Enregistré dans:
Auteurs principaux : | , , , , , , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | anglais |
Titre complet : | Formalisation and Meta-Theory of Type Theory / Théo Winterhalter; sous la direction de Nicolas Tabareau et de Matthieu Sozeau |
Publié : |
2020 |
Accès en ligne : |
Accès Nantes Université
|
Note sur l'URL : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2020 |
Sujets : |