A Gentle Introduction to Template Games and Linear Logic

Explore a comprehensive lecture on game semantics, template games, and linear logic. Delve into the art of interpreting formulas as games and proofs as strategies, examining how different scheduling policies reflect the interactive behavior of programs. Discover the concept of template games and learn about the fundamental combinatorial properties that ensure a scheduling policy defines a monoidal closed bicategory of games, strategies, and simulations. Investigate two game models of linear logic with alternating and asynchronous flavors, constructed using the same categorical combinatorics in the category of small 2-categories. Gain insights from Paul-André Melliès, a researcher from CNRS, Université Paris Cité, and IRIF, as he provides a gentle introduction to these complex topics in this 45-minute talk presented at the Institut des Hautes Etudes Scientifiques (IHES).

Paul-André Melliès - A gentle introduction to template games and linear logic