List of Books in Keyword #Type-Theory

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Published on: 2015
Beginner Unordered English

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. …

Game-Theory Type-Theory Dialogical-Strategies Axiom-of-Choice CTT-Demonstrations
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)
Published on: 2015
Beginner Unordered English

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. …

Game-Theory Type-Theory Dialogical-Strategies Constructive-Mathematics Axiom-of-Choice

Page 1 of 1