Huber, Simon
- Cubical Type Theory: a constructive interpretation of the univalence axiom
2016/11/07 by Cyril Cohen, Thierry Coquand, Cohen, Cyril +5 · 16 citations
Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Philosophy and Theoretical Science
- On Higher Inductive Types in Cubical Type Theory
2018/02/04 by Coquand, Thierry, Huber, Simon, Mörtberg, Anders · 3 citations
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Differentiable Collision Avoidance Using Collision Primitives
2022/04/20 by Simon Zimmermann, Matthias Busenhart, Zimmermann, Simon +7 · 3 citations
Computer Science · Engineering · #Robotic Path Planning Algorithms #Optimization and Search Problems #Robotics and Sensor-Based Localization
- Detecting strongly-lensed type Ia supernovae with LSST
2023/12/07 by Arendse, Nikki, Dhawan, Suhail, Carracedo, Ana Sagués +8 · 3 citations
#Astrophysics of Galaxies (astro-ph.GA) #Cosmology and Nongalactic Astrophysics (astro-ph.CO) #FOS: Physical sciences
- Canonicity for Cubical Type Theory
2016/07/14 by Huber, Simon · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- The univalence axiom in cubical sets
2017/10/30 by Bezem, Marc, Coquand, Thierry, Huber, Simon · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- JWST Spectroscopy of SN H0pe: Classification and Time Delays of a Triply-imaged Type Ia Supernova at z = 1.78
2024/03/27 by Wenlei Chen, Patrick L. Kelly, Chen, Wenlei +45 · 1 voice · 2 citations
Physics and Astronomy · #Gamma-ray bursts and supernovae #astro-ph.GA
- Optimizing the LSST Observing Strategy for Dark Energy Science: DESC Recommendations for the Wide-Fast-Deep Survey
2018/11/30 by Lochner, Michelle, Scolnic, Daniel M., Awan, Humna +33 · 1 citation
#FOS: Physical sciences #Instrumentation and Methods for Astrophysics (astro-ph.IM)