Ernest Schimmerling

Mathematical logic seminar - March 30, 2006

Time: 12 - 1:20 p.m.

Room: Dougherty Hall 1209

Speaker:         Nicola Gambino
University of Quebec at Montreal

Title:     Generalised species of structures

Abstract:     The notion of a species of structures was introduced by Andre` Joyal to provide a combinatorial interpretation of the calculus of formal power series. The talk will introduce a generalisation of the notion of a species of structures, which encompasses Joyal's notion as well as many of the variants considered in the literature.

One of the reasons for the interest in generalised species of structures is that they give rise to a cartesian closed bicategory. Furthermore, they support in a natural way an operation of differentiation. The combination of these facts gives rise to a model of Ehrhard and Regnier's differential lambda-calculus.

The talk is based on joint work with Marcelo Fiore, Martin Hyland, and Glynn Winskel, and will be accessible to a general mathematical logic audience.