@misc{SchmidtSchaussMann2009, author = {Manfred Schmidt-Schauß and Matthias Mann}, title = {On equivalences and standardization in a non-deterministic call-by-need lambda calculus}, booktitle = {Technical report Frank / Johann-Wolfgang-Goethe-Universit{\"a}t, Fachbereich Informatik und Mathematik, Institut f{\"u}r Informatik ; 31}, edition = {Rev. version, 18. September 2008}, url = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank31-approxcalc-v3.pdf}, institution = {Informatik}, series = {Technical report Frank / Johann-Wolfgang-Goethe-Universit{\"a}t, Fachbereich Informatik und Mathematik, Institut f{\"u}r Informatik}, number = {31 [v.3]}, type = {workingpaper}, pages = {27}, year = {2009}, }