3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Rob Nederpelt, Ferruccio Guidi
Terms in the lambda-calculus can be represented as planar trees decorated with symbols for abstraction and application, and having variables as leaves. In this paper, we concentrat…