Luís Pinto

GENERAL

I am member of the Department of Mathematics and Applications and of the Research Centre of Mathematics of the University of Minho.

RESEARCH

Research interests: structural proof theory, lambda-calculi, type theory, Curry-Howard correspondence, proof search, non-classical logics.

Publications

My research group: Proof Systems and Programming

CONTACTS

Departamento de Matemática e Aplicações

Universidade do Minho

Campus de Gualtar

4710-057 Braga

Portugal

Tel: 351-253604368

E-mail: first name at math dot uminho dot pt