31 citations · 133 across the 23 of their papers we have counts for
1 paper · 2 filters
Andrea Asperti
There is still a lot of confusion about "optimal" sharing in the lambda calculus, and its actual efficiency. In this article, we shall try to clarify some of these issues.