Dal Alert!

Receive alerts from Dalhousie by text message.

X

@CAT Seminar

Presented : Francisco Rios (Dalhousie)

Title : On Categorical Models of Intuitionistic Linear Logic 

Abstract: In the 1980s, Jean-Yves Girard introduced the substructural logic called linear
logic as a refinement of classical and intuitionistic logic. Its emphasis on the role of formulas as resources has found many applications in fields as diverse as computer science, quantum physics, and linguistics. In this talk, I will introduce some of the most relevant categorical models of the intuitionistic fragment of linear logic, namely Lafont categories, Seely categories, and linear categories. Time permitting, I will show how these models are subsumed by the LNL (linear/non-linear) models introduced by Nick Benton in the 1990s.

Category

Lectures, Seminars

Time

Starts:
Ends:

Location

Colloquium Room #319, Chase Building

Cost

Free

Contact

Ellen Lynch