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

Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
The Julia Programming Language via YouTube
COSC250 - Functional and Reactive Programming
Independent
Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube
Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube
Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube