Luís Filipe Ribeiro Pinto

Associate Professor

University of Minho

luis@math.uminho.pt
(+351) 253604349
.

Research areas: structural proof theory, lambda-calculus, type theory, intuitionistic and other logics, proof search, normalisation, automated theorem proving, proof development systems.

Publications

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2014

R. Matthes

K. Nakazawa

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013

R. Matthes

Mathematical Structures in Computer Science | 2013

R. Matthes

K. Nakazawa

ACM Transactions on Computational Logic | 2011

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2011

T. Uustalu