Auke Bart Booij

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 5

Top Topics

Multiresolution

Rough Set Approximations

Quantitative Analysis

Equivalence Relation

Top Venues

Math. Struct. Comput. Sci.

Publications

Auke Bart Booij
Extensional constructive real analysis via locators. Math. Struct. Comput. Sci. 31 (1) (2021)
Auke Bart Booij
Property and structure in constructive analysis. CoRR (2018)
Auke Bart Booij
The HoTT reals coincide with the Escardó-Simpson reals. CoRR (2017)
Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman
Parametricity, automorphisms of the universe, and excluded middle. CoRR (2017)
Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman
Parametricity, Automorphisms of the Universe, and Excluded Middle. TYPES (2016)