Implicit automata in λ-calculi III: first-order transductions and affine planar λ-terms (Local Copy) (bibtex)

C. Pradic & I. Price, accepted to MFPS 2024

Weihrauch Problems as Containers (Preprint)

C. Pradic & I. Price

Weihrauch Problems as Containers (bibtex)

C. Pradic & I. Price, accepted to Computability in Europe 2025.

Published in Crossroads of Computability and Logic: Insights, Inspirations, and Innovations.

Weihrauch Problems as Containers (abstract)

C. Pradic & I. Price, contributed talk to TYPES 2025