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