Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Document type :
Journal articles
Liste complète des métadonnées

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01929871
Contributor : Nicolas Tabareau <>
Submitted on : Wednesday, November 21, 2018 - 2:33:28 PM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM
Document(s) archivé(s) le : Friday, February 22, 2019 - 2:19:22 PM

File

main.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

70

Files downloads

204