Linear Logic Winter School / École d'hiver de logique linéaire

Collection Linear Logic Winter School / École d'hiver de logique linéaire

Organizer(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
linked URL
00:00:00 / 00:00:00
2 6

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

Citation data



  • 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. -
  • BARBAROSSA, Davide. Towards a resource based approximation theory of programs, PhD Thesis (2021) -

Last related questions on MathOverflow

You have to connect your account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback
Loading the web debug toolbar…
Attempt #