Game Semantics (ESSLLI 2019)

Lecturers

Andrzej Murawski and Nikos Tzevelekos

Slides

Day 1(a), Day 1(b), Day 2, Day 3, Day 4, Day 5

References

• An Invitation to Game Semantics, SIGLOG News 3(2), pp 56-67, 2016.
• Nominal Game Semantics, Foundations and Trends in Programming Languages 2(4), pp 191-269, 2016.