FA Sign in

Discover references

Type-Theory

Books

2 results

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

English Beginner

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

Nicolas Clerbout,Shahid Rahman (auth.)

2015 View book

Cover of Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

English Beginner

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

Nicolas Clerbout,Shahid Rahman

2015 View book