Skip to content
Vinony

Linking Game-Theoretical Approaches with Constructive Type Theory

by Nicolas Clerbout, Shahid Rahman

Cover of Linking Game-Theoretical Approaches with Constructive Type Theory

No description available.

Computer scienceLogic
Linking Game-Theoretical Approaches with Constructive Type Theory by Nicolas Clerbout, Shahid Rahman — book · Vinony