WARSZAWA 199* BETA-REDUCTION AS UNIFICATION DEDICATED TO THE MEMORY OF PROFESSOR HELENA RASIOWA

by A. J. Kfoury