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

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany | 2019

T. Uustalu

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany | 2018

M.J. Frade

Leibniz International Proceedings in Informatics, LIPIcs | 2017

R. Matthes