Models of programming languages: Domains, Categories, Games (M2 MPRI)