Davide Barbarossa

According to our database, Davide Barbarossa authored at least 11 papers between 2020 and 2026.

Collaborative distances:

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

2026

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.

Davide Barbarossa, Paolo Pistone

Proc. ACM Program. Lang., 2026

On the Algorithmic Structure of Dialectica Realisers.

Davide Barbarossa, Thomas Powell

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

On the algorithmic structure of Dialectica programs.

Davide Barbarossa, Thomas Powell

CoRR, January, 2025

2024

On Dialectica and Differentiation, via Categories.

Davide Barbarossa

CoRR, 2024

Stability Property for the Call-by-Value λ-calculus through Taylor Expansion.

Davide Barbarossa

CoRR, 2024

Denotational semantics driven simplicial homology?

Davide Barbarossa

CoRR, 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