3 papers
cs.LO2026
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…
cs.LO2025
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…
cs.LO2024
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 analo…