José Carlos Espírito Santo

 

GENERAL

 

Member of the Department of Mathematics and Applications  and of the Centre of Mathematics, both at University of Minho.

 

RESEARCH

 

Research interests: structural proof theory, Curry-Howard correspondence, lambda-calculus

 

Papers

 

Research group: Proof Systems and Programming

 

TEACHING

 

MSc on Mathematics and Computation

 

POPULAR SCIENCE

 

See here for the celebration of Alan Turing Year at University of Minho

 

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

URL: w3.math.uminho.pt/~jes