José Carlos Espírito Santo

CMAT-UM

December 10, 2019

Proof theory, type theory, and the lambda-calculus are three areas of mathematical logic which are intimately connected. The research in logic at CMAT exploits these connections, since they bring many methodological benefits and open the way for many applications in computer science. In this seminar such connections will be sketched in order to introduce some research themes in logic that are available at CMAT for the interested students.