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

00:00:00 / 00:00:00

Taylor expansion, at work

By Giulio Manzonetto

Appears in 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.

Information about the video

Date of recording 28/01/2022
Date of publication 14/02/2022
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.19882803
Cite this video 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

Domain(s)

Logic

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

MSC codes

Document(s)

https://www.cirm-math.fr/RepOrga/2685/Slides/2022-01-28-6-manzonetto.pdf

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2024

Give feedback