Auke Bart Booij

Identifiers

• name variant Auke Bart Booij 0.60 · backfill

Papers (2)

1. The HoTT reals coincide with the Euclidean reals cs.LO · 2017 · author #1
2. Parametricity, automorphisms of the universe, and excluded middle cs.LO · 2017 · author #1

Mentions

• 1701.05617 #1 · arxiv_oai · confidence 0.70 Auke Bart Booij
• 1706.05956 #1 · arxiv_oai · confidence 0.70 Auke Bart Booij

Frequent Coauthors

• Mart\'in H\"otzel Escard\'o 1 shared papers
• Michael Shulman 1 shared papers
• Peter LeFanu Lumsdaine 1 shared papers