@misc{indiciae7929f1ccc128,
  title = {Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs},
  author = {Davide Barbarossa and Paolo Pistone},
  year = {2023},
  url = {https://arxiv.org/abs/2311.15704},
  note = {Source identifier: 2311.15704}
}