Towards Formal Foundations for Game Theory.

Julian Parsert, Cezary Kaliszyk

Browse the full ITP paper archive.