@misc{indiciaed51c9b52a16f,
  title = {Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages},
  author = {Davide Barbarossa and Paolo Pistone},
  year = {2025},
  url = {https://arxiv.org/abs/2501.15637},
  note = {Source identifier: 2501.15637}
}