Ξουράφης Γεώργιος, Ατέρμονες αναγωγές στον λ-λογισμό, 2014,