Login / Signup
The HoTT reals coincide with the Escardó-Simpson reals.
Auke Bart Booij
Published in:
CoRR (2017)
Keyphrases
</>
constraint databases
data sets
learning algorithm
video sequences
learning theory
concept class