Linking Game-Theoretical Approaches with Constructive Type Theory

Nicolas Clerbout Shahid Rahman

Linking Game-Theoretical Approaches with Constructive Type Theory - Springer Springer 2015

9783319190631

EBOOK