An Introduction to Differential Linear Logic

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.