@misc{indiciae0f36b7a42ddf,
  title = {Type theoretical databases},
  author = {Henrik Forssell and Håkon Robbestad Gylterud and David I. Spivak},
  year = {2014},
  doi = {10.1093/logcom/exaa009},
  url = {https://arxiv.org/abs/1406.6268},
  note = {Source identifier: 1406.6268}
}