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

Annals of Pure and Applied Logic | 2021

R. Matthes

L. Pinto

Leibniz International Proceedings in Informatics, LIPIcs | 2021

R. Matthes

L. Pinto

Fundamenta Informaticae | 2019

J.E. Santo

R. Matthes

Ralph Matthes

Luís Pinto

Leibniz International Proceedings in Informatics, LIPIcs | 2019

T. Uustalu