nLab Andrej Bauer

Selected writings

Selected writings

On propositional truncation in dependent type theory:

On the Dedekind real numbers via abstract Stone duality:

On the HoTT book real numbers:

On dependent type theory:

category: people

Last revised on February 21, 2023 at 10:55:53. See the history of this page for a list of all contributions to it.