personal page
github page
GoogleScholar page
On formal topology via homotopy type theory:
On locale theory in homotopy type theory:
Last revised on April 17, 2026 at 19:44:39. See the history of this page for a list of all contributions to it.