%0 Journal Article %1 journals/corr/AccattoliL16 %A Accattoli, Beniamino %A Lago, Ugo Dal %D 2016 %J Logical Methods in Computer Science %K dblp %N 1 %T (Leftmost-Outermost) Beta Reduction is Invariant, Indeed. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#AccattoliL16 %V 12

@article{journals/corr/AccattoliL16, added-at = {2019-05-14T00:00:00.000+0200}, author = {Accattoli, Beniamino and Lago, Ugo Dal}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/271c07ce8332edd7c7636e88234eeded1/dblp}, ee = {http://arxiv.org/abs/1601.01233}, interhash = {1b2972c5f29212c6a7a100052971a84c}, intrahash = {71c07ce8332edd7c7636e88234eeded1}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-09-27T09:12:34.000+0200}, title = {(Leftmost-Outermost) Beta Reduction is Invariant, Indeed.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#AccattoliL16}, volume = 12, year = 2016 }