Taylor expansion, at work | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Taylor expansion, at work

De Giulio Manzonetto

Apparaît dans la collection : Linear Logic Winter School / École d'hiver de logique linéaire

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.

Informations sur la vidéo

Date de captation 28/01/2022
Date de publication 14/02/2022
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.19882803
Citer cette vidéo Manzonetto, Giulio (28/01/2022). Taylor expansion, at work. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19882803
URL https://dx.doi.org/10.24350/CIRM.V.19882803

Domaine(s)

Logique

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) -

Codes MSC

Document(s)

https://www.cirm-math.fr/RepOrga/2685/Slides/2022-01-28-6-manzonetto.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