Thomas Ehrhard (IRIF, Paris Diderot), Differential linear logic: a syntactic counterpart of Girard's quantitative semantics

Schedule