Model-Checking Games for Typed lambda-Calculi

Slides referencing similar topics