Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice by Nicolas Clerbout, Shahid Rahman.

מאת Clerbout, Nicolas, Rahman, Shahid
יצא לאור 2015

Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level by Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout.

מאת Rahman, Shahid, McConaughey, Zoe, Klev, Ansten, Clerbout, Nicolas
יצא לאור 2018