@misc{indiciae8bc724b2aacf,
  title = {Type Theory for the Working Mathematical Music Theorist},
  author = {Drew Flieder},
  year = {2025},
  url = {https://arxiv.org/abs/2512.04090},
  note = {Source identifier: 2512.04090}
}