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 lambdacalculus.
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.
