On a typed higher order functional calculus - Dosch, Walter (1987)