TY  - RPRT
TI  - Proof nets for the Displacement calculus
AU  - Richard Moot
PY  - 2016
UR  - https://arxiv.org/abs/1606.01720
ID  - 1606.01720
ER  -