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

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

Weihrauch Problems as Containers

C. Pradic & I. Price, submitted to CiE 2025

Weihrauch Problems as Containers (abstract)

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