nLab Elisabeth Stenholm

Redirected from "Elisabeth Bonnevier".

Selected writings

Elisabeth Stenholm

Selected writings

Håkon Robbestad Gylterud, Elisabeth Stenholm, Univalent material set theory (arXiv:2312.13024)

On constructive set theory in homotopy type theory:

Håkon Robbestad Gylterud, Elisabeth Bonnevier, Non-wellfounded sets in HoTT [arXiv:2001.06696, talk video:YT]

category: people

Last revised on May 17, 2024 at 11:43:47. See the history of this page for a list of all contributions to it.