| The Bologna process and the search for excellence: between rhetoric and reality, the emotional reactions of teachers S Bahia, IP Freire, MT Estrela, A Amaral, JA Espírito Santo Teaching in Higher Education 22 (4), 467-482, 2017 | 45 | 2017 |
| Completing Herbelin’s programme J Espírito Santo International Conference on Typed Lambda Calculi and Applications, 118-132, 2007 | 32 | 2007 |
| Revisiting the correspondence between cut elimination and normalisation JE Santo International Colloquium on Automata, Languages, and Programming, 600-611, 2000 | 31 | 2000 |
| Permutative conversions in intuitionistic multiary sequent calculi with cuts JE Santo, L Pinto Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003 | 29* | 2003 |
| Delayed substitutions J Espírito Santo International Conference on Rewriting Techniques and Applications, 169-183, 2007 | 23 | 2007 |
| Characterising strongly normalising intuitionistic terms JE Santo, J Ivetić, S Likavec Fundamenta informaticae 121 (1-4), 83-120, 2012 | 22 | 2012 |
| Characterising strongly normalising intuitionistic sequent terms J Espírito Santo, S Ghilezan, J Ivetić Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008 | 18 | 2008 |
| Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus JE Santo, L Pinto Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004 | 18 | 2004 |
| The λ-calculus and the unity of structural proof theory J Espírito Santo Theory of Computing Systems 45 (4), 963-994, 2009 | 17 | 2009 |
| An isomorphism between a fragment of sequent calculus and an extension of natural deduction JE Santo International Conference on Logic for Programming Artificial Intelligence …, 2002 | 16 | 2002 |
| Structural proof theory as rewriting JE Santo, MJ Frade, L Pinto Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006 | 15 | 2006 |
| Continuation-passing style and strong normalisation for intuitionistic sequent calculi JE Santo, R Matthes, L Pinto Logical Methods in Computer Science 5, 2009 | 14 | 2009 |
| The call-by-value lambda-calculus with generalized applications J Espírito Santo 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020 | 12 | 2020 |
| Modal embeddings and calling paradigms J Espírito Santo, L Pinto, T Uustalu 4th International Conference on Formal Structures for Computation and …, 2019 | 12 | 2019 |
| A calculus of multiary sequent terms JE Santo, L Pinto ACM Transactions on Computational Logic (TOCL) 12 (3), 1-41, 2011 | 12 | 2011 |
| A refined interpretation of intuitionistic logic by means of atomic polymorphism J Espírito Santo, G Ferreira Studia Logica 108 (3), 477-507, 2020 | 11 | 2020 |
| The polarized λ-calculus JE Santo Electronic Notes in Theoretical Computer Science 332, 149-168, 2017 | 11 | 2017 |
| Curry-Howard for sequent calculus at last! J Espírito Santo 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 11 | 2015 |
| Representações da qualidade do ensino de alunos de enfermagem: um estudo exploratório J Bonito, M Saraiva, I Fialho, JP Barros, J Espírito Santo, MJD Martins, ... Universidade da Coruña, 2009 | 11 | 2009 |
| Uso de tecnologias na prática docente: um estudo de caso no contexto de uma escola pública do interior do Rio de Janeiro JAE Santo, KL Castelano, JM Almeida II Congresso Internacional TIC e Educação. Universidade Tecnológica Federal …, 2012 | 10 | 2012 |
