Français
Böhm trees and Taylor expansion
Multi angle
Authors : Manzonetto, Giulio (Author of the conference)
CIRM (Publisher )
68-02 - Research exposition (monographs, survey articles)
68N15 - Programming languages
68Q55 - Semantics
Additional resources :
https://www.cirm-math.fr/RepOrga/2980/Slides/Taylor.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
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
MSC Codes : Keywords : lambda calculus; Böhm trees
68-02 - Research exposition (monographs, survey articles)
68N15 - Programming languages
68Q55 - Semantics
Additional resources :
https://www.cirm-math.fr/RepOrga/2980/Slides/Taylor.pdf
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : English Available date : 03/06/2024 Conference Date : 13/05/2024 Subseries : Research talks arXiv category : Logic in Computer Science Mathematical Area(s) : Computer Science ; Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 01:32:11 Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-05-13_Manzonetto.mp4 
|
Information on the Event
Event Title : Differential $\lambda $-Calculus and Differential Linear Logic, 20 Years Later / $\lambda $-calcul différentiel et logique linéaire différentielle, 20 ans aprèsEvent Organizers : Cerda, Rémy ; Guerrieri, Giulio ; Olimpieri, Federico ; Tasson, Christine ; Vaux Auclair, Lionel Dates : 13/05/2024 - 17/05/2024 Event Year : 2024 Event URL : https://conferences.cirm-math.fr/2980.html
Citation Data
DOI : 10.24350/CIRM.V.20170403Cite this video as: 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 |
See Also
- [Multi angle] Weighted relational models / Author of the conference McCusker, Guy.
- [Multi angle] Differential categories / Author of the conference Lemay, Jean-Simon.
- [Multi angle] An introduction to Differential Linear Logic / Author of the conference Kerjean, Marie.
- [Multi angle] Differential categories from functor calculus / Author of the conference Johnson, Brenda.
Bibliography
- 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
