A note on strong normalization in classical natural deduction

by José Espírito Santo
Published 2016-06-01

A Coinductive Approach to Proof Search

by José Espírito Santo, Ralph Matthes, Luís Pinto
Published 2013-08-01

Confluence for classical logic through the distinction between values and computations

by José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto
Published 2014-09-01

Concepções sobre qualidade de ensino em estabelecimentos de ensino superior público em Portugal

by Maria José D. Martins, Teresa Oliveira, Joao Paulo Barros, José Espírito Santo, Vítor Trindade, Jorge Bonito
Published 2011-05-01