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

arXiv2311.15704MaRDI QIDQ6460907FDOQ6460907

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)