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

Sun, 01 Jan 2023 00:00:00 +0100

Davide Barbarossa, Paolo Pistone:
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs. CoRR abs/2311.15704 (2023)