Henrik Forssell, Håkon Robbestad Gylterud, David Spivak, Type theoretical databases, Journal of Logic and Computation, Volume 30, Issue 1, January 2020, Pages 217–238, (doi:10.1093/logcom/exaa009, arXiv:1406.6268)
Håkon Robbestad Gylterud, Elisabeth Stenholm, Univalent material set theory (arXiv:2312.13024)
On constructive set theory in homotopy type theory:
Last revised on May 17, 2024 at 11:43:35. See the history of this page for a list of all contributions to it.