Deivid Vale

18 papers B 5Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Nominal Approach to Equational Problems in Languages with Binders.
ACM Trans. Comput. Log.
Daniele Nantes-Sobrinho, Maribel Fernández, Deivid Vale, Mauricio Ayala-Rincón
2025 J jnl
A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations.
Log. Methods Comput. Sci.
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
2024 B conf
Higher-Order Constrained Dependency Pairs for (Universal) Computability.
MFCS
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
2024 J jnl
Higher-Order Constrained Dependency Pairs for (Universal) Computability.
CoRR
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
2024 — conf
On Basic Feasible Functionals and the Interpretation Method.
FoSSaCS (2)
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
2024 J jnl
On Basic Feasible Functionals and the Interpretation Method.
CoRR
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
2023 B conf
Certifying Higher-Order Polynomial Interpretations.
ITP
Niels van der Weide, Deivid Vale, Cynthia Kop
2023 J jnl
Certifying Higher-Order Polynomial Interpretations.
CoRR
Niels van der Weide, Deivid Vale, Cynthia Kop
2023 J jnl
Complexity Analysis for Call-by-Value Higher-Order Rewriting.
CoRR
Cynthia Kop, Deivid Vale
2023 B conf
Cost-Size Semantics for Call-By-Value Higher-Order Rewriting.
FSCD
Cynthia Kop, Deivid Vale
2022 — conf
Analyzing Innermost Runtime Complexity Through Tuple Interpretations.
LSFA
Liye Guo, Deivid Vale
2022 J jnl
Tuple Interpretations and Applications to Higher-Order Runtime Complexity.
CoRR
Cynthia Kop, Deivid Vale
2021 J jnl
Formalizing Higher-Order Termination in Coq.
CoRR
Deivid Vale, Niels van der Weide
2021 B conf
Nominal Equational Problems.
FoSSaCS
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2021 B conf
Tuple Interpretations for Higher-Order Complexity.
FSCD
Cynthia Kop, Deivid Vale
2021 J jnl
Tuple Interpretations for Higher-Order Rewriting.
CoRR
Deivid Vale, Cynthia Kop
2020 — conf
An Investigation into General Nominal Equational Problems (Work in progress).
UNIF
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2019 — conf
On Solving Nominal Disunification Constraints.
LSFA
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale