@misc{indiciae73ea694a43e2,
  title = {Quantitative Types for the Functional Machine Calculus},
  author = {Willem Heijltjes},
  year = {2025},
  doi = {10.4230/lipics.fscd.2025.21},
  url = {https://arxiv.org/abs/2505.09960},
  note = {Source identifier: 2505.09960}
}