An Introduction to Differential Linear Logic
Centre International de Rencontres Mathématiques via YouTube
Live Online Classes in Design, Coding & AI — Small Classes, Free Retakes
Learn Backend Development Part-Time, Online
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore an in-depth introduction to Differential Linear Logic in this conference talk delivered by Marie Kerjean at the Centre International de Rencontres Mathématiques in Marseille, France. Recorded during the thematic meeting "Différential ℷ-calculus and differential linear logic, 20 years later" on May 13, 2024, this 1-hour and 18-minute presentation offers valuable insights into this mathematical field. Delve into the complexities of Differential Linear Logic as Kerjean expertly guides you through key concepts and recent developments. Access this talk and other presentations by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which features chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function for easy navigation and comprehensive learning.
Syllabus
Marie Kerjean: An introduction to Differential Linear Logic
Taught by
Centre International de Rencontres Mathématiques