P. Kosiuczenko;K. Meinke
-;-
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
Journal of Computer and System Sciences
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems