Skip To Main Content
Deivid Vale on Muck Rack

Deivid Vale

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Deivid Vale’s profile

Articles by Deivid Vale

[2401.12385] A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations

|
By Ugo Dal, Ugo Dal Lago, Cynthia Kop, Deivid Vale
| arXiv
arXiv:2401.12385 (cs) [Submitted on 22 Jan 2024 (v1), last revised 3 Apr 2025 (this version, v4)] View PDF Comments: Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC) ACM classes: F.1.3 Cite as: arXiv:2401.12385 [cs.LO] (or arXiv:2401.12385v4 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2401.12385 Submission history From: Deivid Vale [ view email] [v1] Mon, 22 Jan 2024 22:19:13 UTC (163 KB) [v2] Thu, 25 Jan 2024 12:23:09 UTC (148 KB) [v3] Thu, 31 Oct...
Open in Who Shared View Duplicates (202) Issue with article?

[2307.13426] Complexity Analysis for Call-by-Value Higher-Order Rewriting

|
By Deivid Vale
| arXiv
arXiv:2307.13426 (cs) Download a PDF of the paper titled Complexity Analysis for Call-by-Value Higher-Order Rewriting, by Cynthia Kop and Deivid Vale Download PDF Submission history From: Deivid Vale [ view email] [v1] Tue, 25 Jul 2023 11:47:42 UTC (239 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media Links to Code Toggle CatalyzeX Code...
Open in Who Shared View Duplicates (676) Issue with article?

[2302.11892] Certifying Higher-Order Polynomial Interpretations

|
By Van Der Weide, Deivid Vale, Cynthia Kop
| arXiv
[Submitted on 23 Feb 2023 ( v1 ), last revised 5 Aug 2023 (this version, v2)] Title:Certifying Higher-Order Polynomial Interpretations Download a PDF of the paper titled Certifying Higher-Order Polynomial Interpretations, by Niels van der Weide and 2 other authors Download PDF Abstract: Higher-order rewriting is a framework in which one can write higher-order programs and study their properties.
Open in Who Shared Issue with article?
Show More