TY  - RPRT
TI  - Conditional independence by typing
AU  - Maria I. Gorinova
AU  - Andrew D. Gordon
AU  - Charles Sutton
AU  - Matthijs Vákár
PY  - 2022
DO  - 10.1145/3490421
UR  - https://arxiv.org/abs/2010.11887
ID  - 2010.11887
ER  -