TY  - RPRT
TI  - Type theoretical databases
AU  - Henrik Forssell
AU  - Håkon Robbestad Gylterud
AU  - David I. Spivak
PY  - 2014
DO  - 10.1093/logcom/exaa009
UR  - https://arxiv.org/abs/1406.6268
ID  - 1406.6268
ER  -