Regular Systems in lambda-Calculus

Adolfo Piperno, Enrico Tronci. Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci., 1(3):325-340, 1990.

Abstract

Abstract is missing.