Nicolas Clerbout Shahid Rahman <br/><br/>
Linking Game-Theoretical Approaches with Constructive Type Theory 

 -  Springer  Springer  2015 
<br/><br/><label>ISBN: </label>9783319190631 
<br/><br/><label>Source: </label>EBOOK