Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs.

Davide Barbarossa, Paolo Pistone

Browse the full CSL paper archive.