nLab
Henrik Forssell
Publications
Publications
- 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)
Last revised on October 8, 2022 at 17:50:01.
See the history of this page for a list of all contributions to it.