Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Publisher: Springer
Type: Physical Book
Language: English
Pages: 99
Information: 1st ed. 2015
Release Date: 2015-07-08
ISBN 10: 3319190628
ISBN 13: 9783319190624
Readers: 1
Country: United States of America