On Pseudo-c-beta-Normal Form in Combinatory Logic

Mohamed Mezghiche. On Pseudo-c-beta-Normal Form in Combinatory Logic. Theoretical Computer Science, 66(3):323-331, 1989.

Abstract

Abstract is missing.