Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

By
Nicolas Clerbout
Nicolas Clerbout,
Shahid Rahman
Shahid Rahman
2015 • 99 pages
Nitin
Nitin Rughoonauth
Added to listMy Library
Saved as Want To Read