TY  - RPRT
TI  - B-systems
AU  - Vladimir Voevodsky
PY  - 2014
UR  - https://arxiv.org/abs/1410.5389
ID  - 1410.5389
ER  -