nLab Auke Booij

Selected writings

Selected writings

On parametricity, type universe-automorphisms and excluded middle

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

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.