Modelling Computer Games

A series exploring how to model computer games using dynamical systems and lenses.

These posts aim to create mathematical foundations for game-specific programming languages by modeling games as formal mathematical objects. They progress from simple turn-based games to more complex real-time systems with multiple interacting agents.