Languages
Clerbout, Nicolas.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Linking Game-Theoretical Approaches with Constructive Type Theory = Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
by:
SpringerLink (Online service); Clerbout, Nicolas.; Rahman, Shahid.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Immanent Reasoning or Equality in Action = A Plaidoyer for the Play Level /
by:
Klev, Ansten.; Rahman, Shahid.; McConaughey, Zoe.; Clerbout, Nicolas.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Linking game-theoretical approaches with constructive type theory = dialogical strategies, CTT demonstrations and the axiom of choice /
by:
Clerbout, Nicolas.; SpringerLink (Online service); Rahman, Shahid.
(Language materials, printed)