Languages
Clerbout, Nicolas.
Overview
Works: | 0 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:
Clerbout, Nicolas.; Rahman, Shahid.; SpringerLink (Online service)
(Electronic resources)