Relating Structure to Power: An Invitation to Game Comonads

Summer course. Last update: 2022-03-05.

Week 1 course of ESSLLI 2022. Sponsored by the European Association for Computer Science Logic (EACSL)

Taught jointly with Luca Reggio.

Web Analytics