Lectures related to Game semantics

Explains the game logic of Connect Four, including player colors and winning conditions.

Explores music semantics, discussing inferences triggered by different musical elements and proposing a framework for understanding music's meaning.

Explores the relational semantics of loops in programs and the mathematical interpretation of loop structures.

Explores loop semantics, demonstrating how to systematically compute the meaning of a while loop.