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 : Tuesday, March 26, 2019 - 9:25:22 AM
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

148

Files downloads

287