Skip to Main content Skip to Navigation
Journal articles

Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Document type :
Journal articles
Complete list of metadatas

Cited literature [2 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 : Wednesday, June 24, 2020 - 4:19:52 PM
Long-term archiving on: : 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

222

Files downloads

462