TY  - RPRT
TI  - An axiomatic approach to virtual chains
AU  - Mohammed Abouzaid
PY  - 2022
UR  - https://arxiv.org/abs/2201.02911
ID  - 2201.02911
ER  -