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

Mon, 01 Jan 2024 00:00:00 +0100

Davide Barbarossa , Paolo Pistone:
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. CSL 2024: 14:1-14:23