Reasonable Space for the λ-Calculus, Logarithmically.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Browse the full LICS paper archive.