2 works on record
Linking Game-Theoretical Approaches with Constructive Type Theory
Immanent Reasoning or Equality in Action