We gratefully acknowledge support from
the Simons Foundation and member institutions.

Gabriele Vanoni is qualified to endorse.

Reasonable Space for the $\lambda$-Calculus, Logarithmically

Gabriele Vanoni: Is registered as an author of this paper.
Can endorse for cs.CC, cs.FL, cs.LO, cs.PL. (why?)

Beniamino Accattoli and Ugo Dal Lago are not registered as owners of this paper. (why?)