TY  - RPRT
TI  - Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence
AU  - Norihiro Yamada
PY  - 2016
UR  - https://arxiv.org/abs/1602.04123
ID  - 1602.04123
ER  -