José Espírito Santo

José Espírito Santo

Universidade do Minho - Braga / Portugal
Others
AD Scientific Index ID: 4369865
University of Minho
person_outline José Espírito Santo's MOST POPULAR ARTICLES
1-) The Bologna process and the search for excellence: between rhetoric and reality, the emotional reactions of teachersS Bahia, IP Freire, MT Estrela, A Amaral, JA Espírito SantoTeaching in Higher Education 22 (4), 467-482, 2017392017
2-) Revisiting the correspondence between cut elimination and normalisationJE SantoInternational Colloquium on Automata, Languages, and Programming, 600-611, 2000352000
3-) Completing Herbelin’s programmeJ Espírito SantoInternational Conference on Typed Lambda Calculi and Applications, 118-132, 2007342007
4-) Permutative conversions in intuitionistic multiary sequent calculi with cutsJE Santo, L PintoTyped Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003302003
5-) Delayed substitutionsJ Espírito SantoInternational Conference on Rewriting Techniques and Applications, 169-183, 2007262007