Français
Taylor expansion, at work
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/2685/Slides/2022-01-28-6-manzonetto.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
In this talk we define the resource calculus as a target of the Taylor development. Connections with the classical theory of program approximation based on Böhm trees are presented, and simple examples of application are given.
Keywords : Lambda calculus; resource calculus; Taylor expansion; Böhm trees; theory of Lambda; program approximation theory
MSC Codes : Keywords : Lambda calculus; resource calculus; Taylor expansion; Böhm trees; theory of Lambda; program approximation theory
68-02 - Research exposition (monographs, survey articles)
68N15 - Programming languages
68Q55 - Semantics
Additional resources :
https://www.cirm-math.fr/RepOrga/2685/Slides/2022-01-28-6-manzonetto.pdf
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : English Available date : 14/02/2022 Conference Date : 28/01/2022 Subseries : Research School arXiv category : Logic Mathematical Area(s) : Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 00:31:21 Targeted Audience : Researchers ; Graduate Students Download : https://videos.cirm-math.fr/2022-01-28_Manzonetto.mp4 
|
Information on the Event
Event Title : Linear Logic Winter School / École d'hiver de logique linéaireEvent Organizers : Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel Dates : 24/01/2022 - 28/01/2022 Event Year : 2022 Event URL : https://conferences.cirm-math.fr/2685.html
Citation Data
DOI : 10.24350/CIRM.V.19882803Cite this video as: Manzonetto, Giulio (2022). Taylor expansion, at work. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19882803 URI : http://dx.doi.org/10.24350/CIRM.V.19882803 |
See Also
- [Virtualconference] Program semantics with token passing / Author of the conference Muroya, Koko.
- [Multi angle] Focused proof systems / Author of the conference Miller, Dale.
- [Multi angle] Heterodox exponential modalities in linear logic / Author of the conference Mazza, Damiano.
- [Multi angle] Differential linear logic extended to differential operators / Author of the conference Kerjean, Marie.
- [Multi angle] Deux ou trois choses que je sais d'elle : la logique / Author of the conference Girard, Jean-Yves.
Bibliography
- 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
- BARBAROSSA, Davide. Towards a resource based approximation theory of programs, PhD Thesis (2021) -
Imagette Video
