|Time:|| 12 - 1:20 p.m.
Dougherty Hall 1209
|Speaker:|| Nicola Gambino
University of Quebec at Montreal
Generalised species of structures
The notion of a species of structures was introduced by Andre` Joyal to
a combinatorial interpretation of the calculus of formal power series. The
will introduce a generalisation of the notion of a species of structures,
encompasses Joyal's notion as well as many of the variants considered in the
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