Learn Generative AI, Prompt Engineering, and LLMs for Free
Get 20% off all career paths from fullstack to AI
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore a conference talk on Böhm trees and Taylor expansion delivered by Giulio Manzonetto at the Centre International de Rencontres Mathématiques in Marseille, France. Delve into this 1 hour and 32 minute recording from the thematic meeting "Différential ℷ-calculus and differential linear logic, 20 years later" held on May 13, 2024. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which offers enhanced features such as chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function. Gain insights into advanced mathematical concepts and benefit from the comprehensive presentation on Böhm trees and Taylor expansion in the context of differential lambda calculus and linear logic.
Syllabus
Giulio Manzonetto: Böhm trees and Taylor expansion
Taught by
Centre International de Rencontres Mathématiques