TY  - RPRT
TI  - Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs
AU  - Davide Barbarossa
AU  - Paolo Pistone
PY  - 2023
UR  - https://arxiv.org/abs/2311.15704
ID  - 2311.15704
ER  -