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