Skip To Main Content
Cynthia Kop on Muck Rack

Cynthia Kop

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 Cynthia Kop’s profile

Articles by Cynthia Kop

[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.13519] Higher-Order LCTRSs and Their Termination

|
By Cynthia Kop
| arXiv
arXiv:2307.13519 (cs) Download a PDF of the paper titled Higher-Order LCTRSs and Their Termination, by Liye Guo and Cynthia Kop Download PDF Submission history From: Liye Guo [ view email] [v1] Tue, 25 Jul 2023 14:12:44 UTC (211 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 Finder for Papers (What is...
Open in Who Shared 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