Deivid Vale

Deivid Vale

Radboud University - Nijmegen / Netherlands
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5618747
Radboud Universiteit
person_outline Deivid Vale's MOST POPULAR ARTICLES
1-) Tuple Interpretations for Higher-Order ComplexityC Kop, D Vale6th International Conference on Formal Structures for Computation and …, 2021112021
2-) On solving nominal disunification constraintsM Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D ValeElectronic Notes in Theoretical Computer Science 348, 3-22, 202072020
3-) Certifying higher-order polynomial interpretationsN van der Weide, D Vale, C KoparXiv preprint arXiv:2302.11892, 202322023
4-) Cost-size semantics for call-by-value higher-order rewritingC Kop, D Vale8th International Conference on Formal Structures for Computation and …, 202322023
5-) Nominal Equational Problems.M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D ValeFoSSaCS, 22-41, 202122021