2 papers
cs.LO2025
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
Davide Barbarossa, Paolo Pistone
In the last few years there has been a growing interest towards methods for statistical inference and learning based on computational geometry and, notably, tropical geometry, that…
cs.LO2023
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs
Davide Barbarossa, Paolo Pistone
We study the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two well-developed quantitati…