TY  - RPRT
TI  - Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors
AU  - Lionel Vaux
PY  - 2019
DO  - 10.23638/lmcs-15(3:9)2019
UR  - https://arxiv.org/abs/1706.04700
ID  - 1706.04700
ER  -