English
Böhm trees and Taylor expansion
Multi angle
Auteurs : Manzonetto, Giulio (Auteur de la Conférence)
CIRM (Editeur )
68-02 - Research exposition (monographs, survey articles)
68N15 - Programming languages
68Q55 - Semantics
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2980/Slides/Taylor.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
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.
Keywords : lambda calculus; Böhm trees
Codes MSC : Keywords : lambda calculus; Böhm trees
68-02 - Research exposition (monographs, survey articles)
68N15 - Programming languages
68Q55 - Semantics
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2980/Slides/Taylor.pdf
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Anglais Date de publication : 03/06/2024 Date de captation : 13/05/2024 Sous collection : Research talks arXiv category : Logic in Computer Science Domaine : Computer Science ; Logic and Foundations Format : MP4 (.mp4) - HD Durée : 01:32:11 Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-05-13_Manzonetto.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : Differential $\lambda $-Calculus and Differential Linear Logic, 20 Years Later / $\lambda $-calcul différentiel et logique linéaire différentielle, 20 ans aprèsOrganisateurs de la rencontre : Cerda, Rémy ; Guerrieri, Giulio ; Olimpieri, Federico ; Tasson, Christine ; Vaux Auclair, Lionel Dates : 13/05/2024 - 17/05/2024 Année de la rencontre : 2024 URL Congrès : https://conferences.cirm-math.fr/2980.html
Données de citation
DOI : 10.24350/CIRM.V.20170403Citer cette vidéo: Manzonetto, Giulio (2024). Böhm trees and Taylor expansion. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20170403 URI : http://dx.doi.org/10.24350/CIRM.V.20170403 |
Voir aussi
- [Multi angle] Weighted relational models / Auteur de la Conférence McCusker, Guy.
- [Multi angle] Differential categories / Auteur de la Conférence Lemay, Jean-Simon.
- [Multi angle] An introduction to Differential Linear Logic / Auteur de la Conférence Kerjean, Marie.
- [Multi angle] Differential categories from functor calculus / Auteur de la Conférence Johnson, Brenda.
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
Imagette Video
