Linking Game-Theoretical Approaches with Constructive Type Theory More Books by Nicolas Clerbout & Shahid Rahman

Immanent Reasoning or Equality in Action

2018