TY  - RPRT
TI  - (Leftmost-Outermost) Beta Reduction is Invariant, Indeed
AU  - Beniamino Accattoli
AU  - Ugo Dal Lago
PY  - 2016
DO  - 10.2168/lmcs-12(1:4)2016
UR  - https://arxiv.org/abs/1601.01233
ID  - 1601.01233
ER  -