Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Type de document :
Article dans une revue
Journal of Automated Reasoning, Springer Verlag, 2018, 〈10.1007/s10817-018-9491-3〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01929871
Contributeur : Nicolas Tabareau <>
Soumis le : mercredi 21 novembre 2018 - 14:33:28
Dernière modification le : jeudi 13 décembre 2018 - 08:52:02

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Peter Lefanu Lumsdaine, Nicolas Tabareau. Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. Journal of Automated Reasoning, Springer Verlag, 2018, 〈10.1007/s10817-018-9491-3〉. 〈hal-01929871〉

Partager

Métriques

Consultations de la notice

38

Téléchargements de fichiers

62