Semantics of Type Theory häftadEngelska, 2012