Böhm trees and Taylor expansion | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Böhm trees and Taylor expansion

De Giulio Manzonetto

Apparaît dans la collection : Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later / $ \lambda $-calcul différentiel et logique linéaire différentielle, 20 ans après

We revise the classical theory of program approximation based on Scott-continuity and Böhm trees. We then present the more recent theory proposed by Ehrhard&Regnier, based on Taylor expansion. We first introduce the resource calculus and its properties, and then the Taylor expansion associating each term with a power series of resource terms. Finally, we show how to apply this technique to prove results in lambda calculus in an easier way.

Informations sur la vidéo

Date de captation 13/05/2024
Date de publication 11/06/2024
Institut CIRM
Licence CC BY NC ND
Langue Anglais
Audience Chercheurs, Doctorants
Réalisateur(s) Guillaume Hennenfent
Format MP4

Données de citation

DOI 10.24350/CIRM.V.20170403
Citer cette vidéo Manzonetto, Giulio (13/05/2024). Böhm trees and Taylor expansion. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20170403
URL https://dx.doi.org/10.24350/CIRM.V.20170403

Domaine(s)

Logique en informatique

Bibliographie

BARENDREGT, Henk P. The type free lambda calculus. In : Studies in Logic and the Foundations of Mathematics. Elsevier, 1977. p. 1091-1132. - https://doi.org/10.1016/S0049-237X(08)71129-7
EHRHARD, Thomas et REGNIER, Laurent. Böhm trees, Krivine's machine and the Taylor expansion of lambda-terms. In : Conference on Computability in Europe. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. p. 186-197. - http://dx.doi.org/10.1007/11780342_20
BARBAROSSA, Davide et MANZONETTO, Giulio. Taylor subsumes scott, berry, kahn and plotkin. Proceedings of the ACM on Programming Languages, 2019, vol. 4, no POPL, p. 1-23. - https://doi.org/10.1145/3371069

Codes MSC

Document(s)

https://www.cirm-math.fr/RepOrga/2980/Slides/Taylor.pdf

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2026

Donner son avis