Deivid Vale

According to our database, Deivid Vale authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Higher-Order Constrained Dependency Pairs for (Universal) Computability.

Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

On Basic Feasible Functionals and the Interpretation Method.

Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Complexity Analysis for Call-by-Value Higher-Order Rewriting.

Cynthia Kop, Deivid Vale

CoRR, 2023

Certifying Higher-Order Polynomial Interpretations.

Niels van der Weide, Deivid Vale, Cynthia Kop

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Cost-Size Semantics for Call-By-Value Higher-Order Rewriting.

Cynthia Kop, Deivid Vale

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Analyzing Innermost Runtime Complexity Through Tuple Interpretations.

Liye Guo, Deivid Vale

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

Tuple Interpretations and Applications to Higher-Order Runtime Complexity.

Cynthia Kop, Deivid Vale

CoRR, 2022

2021

Formalizing Higher-Order Termination in Coq.

Deivid Vale, Niels van der Weide

CoRR, 2021

Tuple Interpretations for Higher-Order Rewriting.

Deivid Vale, Cynthia Kop

CoRR, 2021

Tuple Interpretations for Higher-Order Complexity.

Cynthia Kop, Deivid Vale

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Nominal Equational Problems.

Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

An Investigation into General Nominal Equational Problems (Work in progress).

Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale

Proceedings of the 34th International Workshop on Unification, 2020

2019

On Solving Nominal Disunification Constraints.

Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019