The difference seems to be that tree-calculus is intensional – you can distinguish different trees within the language even if they have the same computational value.