Title: On a typed higher order functional calculus