Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence.

Norihiro Yamada

Published in: CoRR (2016)

Keyphrases

cooperative
game theoretic
game theory
decision theory
nash equilibrium
decision problems
imperfect information
equational theories
regret minimization
nash equilibria
solution concepts
theorem proving
agent programming
dynamic environments
worst case
upper bound
state space