👤

Nicolas Clerbout

2 books

Books by Nicolas Clerbout

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