Text this: Automata, logic and games for the λ-calculus