05/10/2016 — Exequiel Rivas

Título: Logic, categories and programming languages.
Abstract: Categorical logic connects two separate fields in mathematics:
logic and category theory. Can we add the mathematical study of
languages to this picture? In this talk we will explore how programming
languages connect to logic (via Curry-Howard isomorphisms) and categories
(via categorical semantics). In addition, the speaker will try to show how
his research fits into this setting