Davide Barbarossa, Paolo Pistone. Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, CEUR-WS.org, 2023.
Abstract is missing.