1 paper
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…