nLab
Håkon Robbestad Gylterud
Selected writings
- 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)
On constructive set theory in homotopy type theory:
Talks
Last revised on November 6, 2023 at 16:11:58.
See the history of this page for a list of all contributions to it.