Tropical Mathematics and the Lambda-Calculus (short paper) (text not included).

Sun, 01 Jan 2023 00:00:00 +0100

Davide Barbarossa, Paolo Pistone:
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). ICTCS 2023