A construction of one-point bases in extended lambda calculi

Mayer Goldberg. A construction of one-point bases in extended lambda calculi. Inf. Process. Lett., 89(6):281-286, 2004. [doi]

Abstract

Abstract is missing.