@misc{indiciae4884b4e97df6,
  title = {Type Theory as a Language Workbench},
  author = {Jan de Muijnck-Hughes and Guillaume Allais and Edwin Brady},
  year = {2023},
  url = {https://arxiv.org/abs/2301.12852},
  note = {Source identifier: 2301.12852}
}