Recent Theses

MoL-2020-12:
Martin Karlsson Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies
1.Full Text, 2.Abstract.