YoVDO

An Introduction to Differential Linear Logic

Offered By: Centre International de Rencontres Mathématiques via YouTube

Tags

Mathematical logic Courses Proof Theory Courses Lambda Calculus Courses Category Theory Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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