Théorie des types cubique

Carte non disponible

Date/heure
Date(s) - 11/12/2014
14 h 00 min - 15 h 00 min

Catégories Pas de Catégories


Je présenterai des travaux en cours (en collaboration avec Dan Licata) sur le développement d’une théorie des types cubique, le but étant d’obtenir une théorie des types ayant de bonnes propriétés calculatoires (normalisation forte, canonicité, décidabilité du typage) tout en étant compatible avec la théorie des types homotopiques, en particulier avec l’axiome d’univalence et les types inductifs supérieurs. Ces travaux sont égalements très liés aux travaux de Thierry Coquand, Simon Huber et Marc Bézem sur un modèle constructif de la théorie des types homotopiques dans les ensembles cubiques.

[http://math.unice.fr/laboratoire/fiche&id=556]

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange