TY  - RPRT
TI  - Computational Higher Type Theory I: Abstract Cubical Realizability
AU  - Carlo Angiuli
AU  - Robert Harper
AU  - Todd Wilson
PY  - 2016
UR  - https://arxiv.org/abs/1604.08873
ID  - 1604.08873
ER  -