TY  - RPRT
TI  - A recursive normalizing one-step reduction strategy for the distributive lambda calculus
AU  - Anton Salikhmetov
PY  - 2014
UR  - https://arxiv.org/abs/1204.3158
ID  - 1204.3158
ER  -