The Game Semantics of Free Cartesian Closed Categories: A Syntactic Derivation

A Masters Thesis Summary

I study the free Cartesian closed category equipped with invertible base-type constants arising from a group. These constants internalise the combinatorial data of game semantics: plays, strategies, and interaction, so that the simply typed lambda calculus serves as an abstraction over the usual raw game-semantic constructions.

References & Links