@misc{indiciaeab7943da42bc,
  title = {Peano Arithmetic and \$μ\$MALL},
  author = {Matteo Manighetti and Dale Miller},
  year = {2025},
  doi = {10.46298/fi.12736},
  url = {https://arxiv.org/abs/2312.13634},
  note = {Source identifier: 2312.13634}
}