Search

• < Previous
• 1
• Next >

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

Can the $\lambda$-calculus be considered a reasonable computational model? Can we use it for measuring the time $\textit{and}$ space consumption of algorithms? While the literature contains positive answers about time, much less is known about space. This paper presents a new reasonable space cost&nbsp;[&hellip;]