José Carlos Espírito
Santo
GENERAL
Member of the Department of Mathematics and of the Centre of Mathematics, both at University of Minho
RESEARCH
Research interests: Logic, particularly structural proof theory, lambda-calculus, type theory, Curry-Howard correspondence, computer science logic
Research group: Proof Systems and Programming
SOME EVENTS ORGANIZED:
Coming soon:
· Computability in Europe 2025
Past events:
POPULAR SCIENCE
See here for the celebration of Alan Turing Year (2012) at University of Minho
See here for the book (in Portuguese) Alan Turing: cientista universal, edited in 2019
The book was presented in a virtual session recorded here
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