José Carlos Espírito Santo
GENERAL
I am member of the Mathematics Department of the University of Minho.
TEACHING
Information about the courses I am teaching this year may be found here.
RESEARCH
Research interests: structural proof theory, Curry-Howard correspondence, lambda-calculus
My research group: Proof Systems
and Programming
CONTACTS
José Carlos
Espírito Santo
Departamento de
Matemática
Universidade do
Minho
4710-057 Braga
Portugal
E-mail: jes@math.uminho.pt
Tel:
351-253604362