29th European Summer School in Logic, Language, and Information
University of Toulouse (France), 17-28 July, 2017

Categories, proofs, and programs

Samson Abramsky, Nikos Tzevelekos

Logic and Computation (Introductory)

First week, from 17:00 to 18:30

Abstract

This course will develop the basic ideas of Category Theory, and explore its applications to the study of proofs in logic, and to the algebraic structure of programs and programming languages.