Nicolas Clerbout
Nicolas Clerbout's most popular book is Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice with 1 save and an average rating of -.
Nicolas Clerbout's most popular book is Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice with 1 save and an average rating of -.