@misc{indiciaebbe219d8f330,
  title = {An Invariant Cost Model for the Lambda Calculus},
  author = {Ugo Dal Lago and Simone Martini},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0511045},
  note = {Source identifier: cs/0511045}
}