YoVDO

Differential Categories

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

Tags

Category Theory Courses Mathematics Courses Logic Courses Functional Programming Courses Algebraic Structures Courses Lambda Calculus Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive conference talk on differential categories presented by Jean-Simon Lemay at the Centre International de Rencontres Mathématiques in Marseille, France. Delve into the intricacies of differential λ-calculus and differential linear logic, commemorating 20 years of advancements in these fields. Access this 1 hour and 29 minutes long recording, expertly filmed by Guillaume Hennenfent, through CIRM's Audiovisual Mathematics Library. Utilize the platform's advanced features, including chapter markers and keywords, to navigate specific sections of interest. Benefit from enriched content featuring abstracts, bibliographies, and Mathematics Subject Classification. Take advantage of the multi-criteria search functionality to discover related talks by author, title, tags, or mathematical area, enhancing your exploration of this complex mathematical topic.

Syllabus

Jean-Simon Lemay: Differential categories


Taught by

Centre International de Rencontres Mathématiques

Related Courses

Introduction to Logic
Stanford University via Coursera Lógica y usos
Miríadax Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera