An Introduction to Differential Linear Logic
Offered By: Centre International de Rencontres Mathématiques via YouTube
Course Description
Overview
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
Related Courses
Programming Languages ⅠKorea Advanced Institute of Science and Technology via Coursera Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019
Open Data Science via YouTube Propositions as Types
Strange Loop Conference via YouTube The Road to Akka Cluster, and Beyond
Strange Loop Conference via YouTube Making a Computer Turing Complete
Ben Eater via YouTube