papers
Publications (6)
cs.LO2016
Cubical Type Theory: a constructive interpretation of the univalence axiom
Cyril Cohen, Thierry Coquand, Simon Huber +1
math.LO2017
The univalence axiom in cubical sets
Marc Bezem, Thierry Coquand, Simon Huber
cs.DC2019
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning
Tal Ben-Nun, Maciej Besta, Simon Huber +3
astro-ph.IM2018
Optimizing the LSST Observing Strategy for Dark Energy Science: DESC Recommendations for the Wide-Fast-Deep Survey
Michelle Lochner, Daniel M. Scolnic, Humna Awan +33
cs.LO2018
On Higher Inductive Types in Cubical Type Theory
Thierry Coquand, Simon Huber, Anders Mörtberg
cs.LO2017
Canonicity for Cubical Type Theory
Simon Huber