English
Taylor expansion, at work
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/2685/Slides/2022-01-28-6-manzonetto.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
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
Codes MSC : 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
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2685/Slides/2022-01-28-6-manzonetto.pdf
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Anglais Date de publication : 14/02/2022 Date de captation : 28/01/2022 Sous collection : Research School arXiv category : Logic Domaine : Logic and Foundations Format : MP4 (.mp4) - HD Durée : 00:31:21 Audience : Researchers ; Graduate Students Download : https://videos.cirm-math.fr/2022-01-28_Manzonetto.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : Linear Logic Winter School / École d'hiver de logique linéaireOrganisateurs de la rencontre : Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel Dates : 24/01/2022 - 28/01/2022 Année de la rencontre : 2022 URL Congrès : https://conferences.cirm-math.fr/2685.html
Données de citation
DOI : 10.24350/CIRM.V.19882803Citer cette vidéo: 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 |
Voir aussi
- [Virtualconference] Program semantics with token passing / Auteur de la Conférence Muroya, Koko.
- [Multi angle] Focused proof systems / Auteur de la Conférence Miller, Dale.
- [Multi angle] Heterodox exponential modalities in linear logic / Auteur de la Conférence Mazza, Damiano.
- [Multi angle] Differential linear logic extended to differential operators / Auteur de la Conférence Kerjean, Marie.
- [Multi angle] Deux ou trois choses que je sais d'elle : la logique / Auteur de la Conférence Girard, Jean-Yves.
Bibliographie
- 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
