Davide Barbarossa

14 papers A* 1B 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 B conf
On the Algorithmic Structure of Dialectica Realisers.
CSL
Davide Barbarossa, Thomas Powell
2026 J jnl
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.
Proc. ACM Program. Lang.
Davide Barbarossa, Paolo Pistone
2025 J jnl
On the algorithmic structure of Dialectica programs.
CoRR
Davide Barbarossa, Thomas Powell
2025 J jnl
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.
CoRR
Davide Barbarossa, Paolo Pistone
2024 J jnl
Denotational semantics driven simplicial homology?
CoRR
Davide Barbarossa
2024 J jnl
On Dialectica and Differentiation, via Categories.
CoRR
Davide Barbarossa
2024 J jnl
Resource approximation for the λμ-calculus.
CoRR
Davide Barbarossa
2024 J jnl
Stability Property for the Call-by-Value λ-calculus through Taylor Expansion.
CoRR
Davide Barbarossa
2024 B conf
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs.
CSL
Davide Barbarossa, Paolo Pistone
2023 J jnl
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs.
CoRR
Davide Barbarossa, Paolo Pistone
2023 — conf
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included).
ICTCS
Davide Barbarossa, Paolo Pistone
2022 A* conf
Resource approximation for the λμ-calculus.
LICS
Davide Barbarossa
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
2020 J jnl
Taylor subsumes Scott, Berry, Kahn and Plotkin.
Proc. ACM Program. Lang.
Davide Barbarossa, Giulio Manzonetto