Bidirectional Typing for the Calculus of Inductive Constructions
Durant leurs plus de 50 ans d existence, les assistants à la preuve se sont établis comme des outils permettant un haut niveau de fiabilité dans de nombreuses applications. Cependant, du fait de leur complexité grandissante, la solution historique de faire confiance à un petit noyau stable n est plu...
Enregistré dans:
Auteurs principaux : | , , , , , , , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Bidirectional Typing for the Calculus of Inductive Constructions / Meven Lennon-Bertrand; sous la direction de Nicolas Tabareau |
Publié : |
2022 |
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 Université : 2022 |
Sujets : |