nLab Auke Booij

Redirected from "Auke B. Booij".

Selected writings

Selected writings

On parametricity, type universe-automorphisms and excluded middle

Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman, Parametricity, automorphisms of the universe, and excluded middle, in 22nd International Conference on Types for Proofs and Programs (TYPES 2016) $[$ arxiv:1701.05617, drops:2018/9855, blog entry $]$

On constructive analysis with real numbers in univalent foundations (homotopy type theory with the univalence axiom):

Auke Booij, Extensional constructive real analysis via locators, Mathematical Structures in Computer Science 31 1 (2021) 64-88 [arXiv:1805.06781, doi:10.1017/S0960129520000171]
Auke Booij, Analysis in Univalent Type Theory (2020) [etheses:10411, pdf, pdf]

category: people

Last revised on February 8, 2023 at 10:57:32. See the history of this page for a list of all contributions to it.