Preface: Special Issue on Homotopy Type Theory and Univalent Foundations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Automated Reasoning Année : 2018

Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Fichier principal
Vignette du fichier
main.pdf (122.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01929871 , version 1 (21-11-2018)

Identifiants

Citer

Peter Lefanu Lumsdaine, Nicolas Tabareau. Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9491-3⟩. ⟨hal-01929871⟩
76 Consultations
131 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More