Davide Barbarossa

According to our database, Davide Barbarossa authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Davide Barbarossa, Paolo Pistone

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

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

Davide Barbarossa, Paolo Pistone

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

2022

Resource approximation for the λμ-calculus.

Davide Barbarossa

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Towards a resource based approximation theory of programs. (Vers une théorie de l'approximation des programmes basée sur la notion de ressources).

Davide Barbarossa

PhD thesis, 2021

2020

Taylor subsumes Scott, Berry, Kahn and Plotkin.

Davide Barbarossa, Giulio Manzonetto

Proc. ACM Program. Lang., 2020