top
new
show
ask
jobs
about

Homotopy type theory: the logic of space (2017)

arxiv.org

4 points by measurablefunc 2 days ago