Rewriting and Typed Lambda Calculi häftadEngelska, 2014