| Non-idempotent intersection types for the lambda-calculus A Bucciarelli, D Kesner, D Ventura Logic Journal of the IGPL 25 (4), 431-464, 2017 | 80 | 2017 |
| Quantitative types for the linear substitution calculus D Kesner, D Ventura Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014 | 43 | 2014 |
| A quantitative understanding of pattern matching S Alves, D Kesner, D Ventura arXiv preprint arXiv:1912.01914, 2019 | 21 | 2019 |
| A resource aware computational interpretation for herbelin’s syntax D Kesner, D Ventura Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 15 | 2015 |
| Strong normalization through intersection types and memory A Bucciarelli, D Kesner, D Ventura Electronic Notes in Theoretical Computer Science 323, 75-91, 2016 | 10 | 2016 |
| The Spirit of Node Replication. D Kesner, L Peyrot, D Ventura FoSSaCS, 344-364, 2021 | 9 | 2021 |
| Intersection type system with de Bruijn indices D Ventura, M Ayala-Rincón, F Kamareddine The many sides of logic. Studies in logic 21, 557-576, 2008 | 7 | 2008 |
| A resource aware semantics for a focused intuitionistic calculus D Kesner, D Ventura Mathematical Structures in Computer Science 29 (1), 93-126, 2019 | 6 | 2019 |
| Quantitative types for intuitionistic calculi D Kesner, D Ventura | 6 | 2014 |
| Principal typings in a restricted intersection type system for beta normal forms with de Bruijn indices D Ventura, M Ayala-Rincón, F Kamareddine arXiv preprint arXiv:1001.4438, 2010 | 4 | 2010 |
| Principal typings for explicit substitutions calculi DL Ventura, M Ayala-Rincón, F Kamareddine Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 2008 | 4 | 2008 |
| Explicit substitution calculi with de Bruijn indices and intersection type systems DL Ventura, F Kamareddine, M Ayala-Rincón Logic Journal of the IGPL 23 (2), 295-340, 2015 | 3 | 2015 |
| Intersection type systems and explicit substitutions calculi DL Ventura, M Ayala-Rincón, F Kamareddine Logic, Language, Information and Computation: 17th International Workshop …, 2010 | 3 | 2010 |
| Towards a Formalization of Nominal Sets in Coq FS Paranhos, D Ventura | 2 | 2022 |
| 25th International Conference on Types for Proofs and Programs (TYPES 2019) M Kohlhase, F Rabe, M Wenzel, J Cockx, S Alves, D Kesner, D Ventura, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | 2 | 2020 |
| Nominal essential intersection types M Ayala-Rincón, M Fernández, AC Rocha-Oliveira, DL Ventura Theoretical Computer Science 737, 62-80, 2018 | 2 | 2018 |
| A combinatorial argument for termination properties DL Ventura, A Bucciarelli, D Kesner The Brazilian Logic Conference (EBL), 2013 | 2 | 2013 |
| Cálculos de Substituições Explícitas à la de Bruijn com Sistemas de Tipos com Interseção DL Ventura | 2 | 2011 |
| Node Replication: Theory And Practice D Kesner, L Peyrot, D Ventura Logical Methods in Computer Science 20, 2024 | | 2024 |
| Quantitative Weak Linearisation S Alves, D Ventura International Colloquium on Theoretical Aspects of Computing, 78-95, 2022 | | 2022 |
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaПодтвержден адрес электронной почты в домене unb.br
