TY  - RPRT
TI  - Concurrency Theorems for Non-linear Rewriting Theories
AU  - Nicolas Behr
AU  - Russ Harmer
AU  - Jean Krivine
PY  - 2021
UR  - https://arxiv.org/abs/2105.02842
ID  - 2105.02842
ER  -