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

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Can the $\lambda$-calculus be considered a reasonable computational model? Can we use it for measuring the time $\text{and}$ space consumption of algorithms? While the literature conta…