Luís Filipe Ribeiro Pinto

Associate Professor

University of Minho

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

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

Publications

Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search

Mathematical Structures in Computer Science | 2019

R. Matthes

DOI

Modal embeddings and calling paradigms

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

T. Uustalu

DOI

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Journal of Logic and Computation | 2018

Tarmo Uustalu

DOI

Permutability in proof terms for intuitionistic sequent calculus with cuts

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

M.J. Frade

DOI

Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search

Leibniz International Proceedings in Informatics, LIPIcs | 2017

R. Matthes