1 paper · 1 filter
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…