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

Fundamenta Informaticae | 2019

J.E. Santo

R. Matthes

Ralph Matthes

Luís Pinto

Leibniz International Proceedings in Informatics, LIPIcs | 2019

T. Uustalu

Leibniz International Proceedings in Informatics, LIPIcs | 2018

M.J. Frade