2 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
Problems with fixpoints of polynomials of polynomials
Cécilia Pradic, Ian Price
Motivated by applications in computable analysis, we study fixpoints of certain endofunctors over categories of containers. More specifically, we focus on fibred endofunctors over…
Weihrauch problems as containers
Cécilia Pradic, Ian Price
We note that Weihrauch problems can be regarded as containers over the category of projective represented spaces and that Weihrauch reductions correspond exactly to container morph…
Implicit automata in λ-calculi III: affine planar string-to-string functions
Cécilia Pradic, Ian Price
We prove a characterization of first-order string-to-string transduction via -terms typed in non-commutative affine logic that compute with Church encoding, extending the analog…
Implicit automata in typed -calculi II: streaming transducers vs categorical semantics
Lê Thành Dũng Nguyên, Camille Noûs, Cécilia Pradic
We characterize regular string transductions as programs in a linear -calculus with additives. One direction of this equivalence is proved by encoding copyless streaming string…