Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.

Thu, 01 Jan 2026 00:00:00 +0100

Davide Barbarossa , Paolo Pistone :
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages. Proc. ACM Program. Lang. 10(POPL): 951-980 (2026)