Invited talks

A fresh view of linear logic as a logical framework

Elaine Pimentel DMAT, UFRN, Brazil

Supernominal Datatypes and Codatatypes

Andrei Popescu University of Sheffield, UK