Taylor subsumes Scott, Berry, Kahn and Plotkin. - Davide Barbarossa; Giulio Manzonetto (Proc. ACM Program. Lang., 2020)

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 (2021)

Resource approximation for the λμ-calculus. - Davide Barbarossa (LICS, 2022)

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

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. - Davide Barbarossa; Paolo Pistone (CSL, 2024)

Denotational semantics driven simplicial homology? - Davide Barbarossa (CoRR, 2024)

Stability Property for the Call-by-Value λ-calculus through Taylor Expansion. - Davide Barbarossa (CoRR, 2024)

On Dialectica and Differentiation, via Categories. - Davide Barbarossa (CoRR, 2024)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages. - Davide Barbarossa; Paolo Pistone (CoRR, 2025)

On the algorithmic structure of Dialectica programs. - Davide Barbarossa; Thomas Powell (CoRR, 2025)