Comment by chewxy

Barry Jay's got an upcoming paper at PEPM regarding typed tree calculus. Good read too.