1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Yannick Forster, Fabian Kunze, Marc Roth
We study the weak call-by-value λ-calculus as a model for computational complexity theory and establish the natural measures for time and space -- the number of beta-reductions a…