Martin Hötzel Escardó Explores Constructive Mathematics in Univalent Type Theory 📚

Join Martin Hötzel Escardó's insightful lecture on how constructive mathematics is developed within Univalent Type Theory, part of the Hausdorff Trimester Program on Types, Sets, and Constructions.