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

MaRDI QIDQ6460907zbMATH OpenFDO

Authors Davide Barbarossa, Paolo Pistone

Publication date 27 November 2023

This page was built for publication: Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6460907)