@misc{indiciaea0e3df8fdad7,
  title = {Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types},
  author = {Anthony Bordg and Lawrence Paulson and Wenda Li},
  year = {2022},
  doi = {10.1080/10586458.2022.2062073},
  url = {https://arxiv.org/abs/2104.09366},
  note = {Source identifier: 2104.09366}
}