31 citations · 92 across the 14 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Recurrence extraction and denotational semantics with recursive definitions
Norman Danner
With one exception, our previous work on recurrence extraction and denotational semantics has focused on a source language that supports inductive types and structural recursion. T…
cs.CC2022
General Ramified Recurrence and Polynomial-time Completeness
Norman Danner, James S. Royer
We exhibit a sound and complete implicit-complexity formalism for functions feasibly computable by structural recursions over inductively defined data structures. Feasibly computab…