Extending type theory with syntactic models

Extending type theory with syntactic models

Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types de Martin-Löf ou du Calcul des Constructions, et nous nous intéressons à la cohérence de ces systèmes ou encore à l'indépendance d&#...

Full description

Bibliographic Details
Main Author: Boulier, Simon Pierre
Other Authors: Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Language:en
Published: 2018
Subjects:
Théorie des types
Modèles
Traduction de programme
Métaprogrammation
Théorie des types homotopique
Modèle cubique
Type theory
Models
Program translation
Metaprogramming
Homotopy type theory
Cubical model
004
Online Access:http://www.theses.fr/2018IMTA0110/document

Internet

http://www.theses.fr/2018IMTA0110/document

Similar Items