29 citations · 145 across the 25 of their papers we have counts for
Showing cs.CCShow all
3 papers · 1 filter
cs.CC2020★ 1 cited
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME
Neil D. Jones, Siddharth Bhaskar, Cynthia Kop +1
Programming language concepts are used to give some new perspectives on a long-standing open problem: is logspace = ptime ?
cs.CC2017★ 2 cited
The Power of Non-Determinism in Higher-Order Implicit Complexity
Cynthia Kop, Jakob Grue Simonsen
We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders,…
cs.CC2016
Complexity Hierarchies and Higher-Order Cons-Free Rewriting
Cynthia Kop, Jakob Grue Simonsen
Constructor rewriting systems are said to be cons-free if, roughly, constructor terms in the right-hand sides of rules are subterms of constructor terms in the left-hand side; the…