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

Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Domaines

Catégories et ensembles [math.CT]
Fichier principal
Vignette du fichier
main.pdf (122.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Nicolas Tabareau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01929871

Soumis le : mercredi 21 novembre 2018-14:33:28

Dernière modification le : mardi 17 septembre 2024-15:58:33

Archivage à long terme le : vendredi 22 février 2019-14:19:22

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
84 Consultations
140 Téléchargements

Altmetric

Partager

More