Nicolas ClerboutBooksImmanent Reasoning or Equality in ActionLinking Game-Theoretical Approaches with Constructive Type TheoryAuthor data: Open Library