00:00:00 / 00:00:00

An introduction to Differential Linear Logic

By Marie Kerjean

Appears in collection : Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later / $ \lambda $-calcul différentiel et logique linéaire différentielle, 20 ans après

In this talk, we introduce the syntax and semantics of Differential Linear Logic. We explain how its rules relate to Linear Logic's rules, and give informal intuitions in terms of functions and distributions. We show how its cut-elimination rules are a reflection of basic calculus rules. We also review Differential Lambda-calculus, with matching intuitions. At the end of the talk, we briefly review two recent development about Differential Linear Logic, in terms of Laplace transformation and co-promotion.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.20170103
  • Cite this video Kerjean, Marie (13/05/2024). An introduction to Differential Linear Logic. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20170103
  • URL https://dx.doi.org/10.24350/CIRM.V.20170103

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback