Nicolas Clerbout

Immanent Reasoning or Equality in Action
Linking Game-Theoretical Approaches with Constructive Type Theory