| Gödel’s system T revisited S Alves, M Fernández, M Florido, I Mackie Theoretical Computer Science 411 (11-13), 1484-1500, 2010 | 30 | 2010 |
| The power of linear functions S Alves, M Fernández, M Florido, I Mackie International Workshop on Computer Science Logic, 119-134, 2006 | 29 | 2006 |
| A graph-based framework for the analysis of access control policies S Alves, M Fernández Theoretical Computer Science 685, 3-22, 2017 | 22 | 2017 |
| A quantitative understanding of pattern matching S Alves, D Kesner, D Ventura arXiv preprint arXiv:1912.01914, 2019 | 21 | 2019 |
| Weak linearization of the lambda calculus S Alves, M Florido Theoretical Computer Science 342 (1), 79-103, 2005 | 19 | 2005 |
| A framework for the analysis of access control policies with emergency management S Alves, M Fernández Electronic Notes in Theoretical Computer Science 312, 89-105, 2015 | 17 | 2015 |
| Access control and obligations in the category-based metamodel: a rewrite-based semantics S Alves, A Degtyarev, M Fernández International Symposium on Logic-Based Program Synthesis and Transformation …, 2014 | 17 | 2014 |
| Type inference using constraint handling rules S Alves, M Florido Electronic Notes in Theoretical Computer Science 64, 56-72, 2002 | 14 | 2002 |
| The power of closed reduction strategies S Alves, M Fernández, M Florido, I Mackie Electronic Notes in Theoretical Computer Science 174 (10), 57-74, 2007 | 12 | 2007 |
| Linearity and recursion in a typed lambda-calculus S Alves, M Fernández, M Florido, I Mackie Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011 | 10 | 2011 |
| A new graphical calculus of proofs S Alves, M Fernández, I Mackie arXiv preprint arXiv:1102.2655, 2011 | 9 | 2011 |
| Linear recursive functions S Alves, M Fernández, M Florido, I Mackie Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007 | 9 | 2007 |
| Linearisation of the lambda calculus S Alves PhD thesis, Faculty of Science-University of Porto, 2007 | 8 | 2007 |
| A unifying framework for type inhabitation S Alves, S Broda 3rd International Conference on Formal Structures for Computation and …, 2018 | 5 | 2018 |
| Inhabitation machines: determinism and principality S Alves, S Broda | 5 | 2017 |
| A typed language for events S Alves, S Broda, M Fernández International Symposium on Logic-Based Program Synthesis and Transformation …, 2015 | 5 | 2015 |
| EVL: A typed higher-order functional language for events S Alves, M Fernández, M Ramos Electronic Notes in Theoretical Computer Science 351, 3-23, 2020 | 4 | 2020 |
| Pattern-based calculi with finitary matching S Alves, B Dundua, M Florido, T Kutsia Logic Journal of the IGPL 26 (2), 203-243, 2018 | 4 | 2018 |
| Liquid intersection types MJP Pereira PQDT-Global, 2014 | 4 | 2014 |
| Iterator types S Alves, M Fernández, M Florido, I Mackie International Conference on Foundations of Software Science and …, 2007 | 4 | 2007 |
Mário FloridoUniversidade do PortoVerified email at g.uporto.pt
