Mathematical Logic Foundations

Research Frontiers in Game Semantics and Innocent Strategies

Develops game semantics for higher-order languages using innocent strategies and explores connections to denotational and operational semantics.

All Mathematical Logic & Foundations PhD categories