Linking Game-Theoretical Approaches with Constructive Type Theory
-
nidottu
,
Englanti, 2015