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 Bonnevier, Non-wellfounded sets in HoTT (arXiv:2001.06696)
Last revised on October 19, 2022 at 20:19:00. See the history of this page for a list of all contributions to it.