TY  - RPRT
TI  - Parallel needed reduction for pure interaction nets
AU  - Anton Salikhmetov
PY  - 2017
UR  - https://arxiv.org/abs/1702.06092
ID  - 1702.06092
ER  -