Blom: Skew confluence and the lambda calculus with letrec. Annals of pure and applied logic (0)

by Z M Ariola, Stefan