Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence
Résumé
Théorie des types dépendants et axiome d'univalence
Fanny Bastien : Connectez-vous pour contacter le contributeur
https://hal.science/medihal-01346862
Soumis le : mardi 19 juillet 2016-16:48:37
Dernière modification le : jeudi 14 mars 2024-03:11:30