Language, Life, Limits - Arno Pauly (Function Spaces for Second-Order Polynomial Time, 2014)