Karl Meinke
-
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
Journal of Computer and System Sciences