Le λ-calcul est quantifiable
Valentin Maestracci
I2M, Aix-Marseille Université
https://vmaestracci.github.io/
Date(s) : 23/01/2025 iCal
11h00 - 12h30
Sur la base de l’article The Lambda Calculus is Quantifiable à CSL 2025 avec Paolo Pistone :
We introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from Scott domains. First, we study quantitative variants, based on program distances, of sensible equational theories for the λ-calculus, like those arising from Böhm trees and from the contextual preorder. Then, we introduce applicative distances capturing higher-order Scott topologies, including reflexive objects like the D∞ model. Finally, we provide a quantitative insight on the well-known connection between the Böhm tree of a λ-term and its Taylor expansion, by showing that the latter can be presented as an isometric transformation.
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories
