TY  - RPRT
TI  - Towards Races in Linear Logic
AU  - Wen Kokke
AU  - J. Garrett Morris
AU  - Philip Wadler
PY  - 2020
DO  - 10.23638/lmcs-16(4:15)2020
UR  - https://arxiv.org/abs/1909.13376
ID  - 1909.13376
ER  -