Linking Game-Theoretical Approaches with Constructive Type Theory
Subtitle: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice
Publisher: Springer London, Limited
Published: 2015
Language: eng
ISBN-13: 9783319190631
Subjects: Computer science; Logic