Preface: Special Issue on Homotopy Type Theory and Univalent Foundations - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Journal of Automated Reasoning Year : 2018

Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Domains

Category Theory [math.CT]
Fichier principal
Vignette du fichier
main.pdf (122.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Nicolas Tabareau  : Connect in order to contact the contributor

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

Submitted on : Wednesday, November 21, 2018-2:33:28 PM

Last modification on : Tuesday, September 17, 2024-3:58:33 PM

Long-term archiving on : Friday, February 22, 2019-2:19:22 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

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 View
140 Download

Altmetric

Share

More