@misc{indiciaea17fc4623a33,
  title = {Machine Space I: Weak exponentials and quantification over compact spaces},
  author = {Peter F. Faul and Graham Manuell},
  year = {2026},
  doi = {10.46298/lmcs-22(2:2)2026},
  url = {https://arxiv.org/abs/2209.11339},
  note = {Source identifier: 2209.11339}
}