BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20221003T124905Z
DTSTART:20221005T141500Z
DTEND:20221005T151500Z
SUMMARY:Logic Seminar - Nicola Gambino (Manchester)
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}wdw-l8srqiy
 f-tp2euv
DESCRIPTION:Title: Differential lambda-calculus and analytic functors\n\n
 Abstract: In a seminal 2003 paper\, Ehrhard and Regnier introduced the d
 ifferential lambda-calculus\, an extension of the lambda-calculus with a
  differential operator. Among other things\, the differential lambda-cal
 culus leads to the possibility of approximating lambda-terms by a form o
 f the Taylor series expansion. This seminar will present a model of the 
 typed differential lambda-calculus. The model is built using a generalis
 ation of Joyal's analytic functors\, which are a functorial counterpart 
 of exponential power series. Its core is a cartesian closed 2-category w
 hich can be understood as a `categorified' version of the relational mod
 el of Linear Logic. The material is based on collaborative work with M. 
 Fiore\, M. Hyland\, A. Joyal and G. Winskel.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1 (and zoom\, link in email)\, Alan Turing Building\
 , Manchester
END:VEVENT
END:VCALENDAR