8It is not easy to refer to a single book or paper, but the book [Simm] (with the programmatic subtitle ‘Taking the Curry-Howard Correspondence Seriously’) surely uses the tree technique, that I follow.