Implicit automata in λ-calculi III: first-order transductions and affine planar λ-terms (Local Copy)
C. Pradic & I. Price, submitted to MFPS 2024