Lambda calculi plus letrec (1997)

by Z M Ariola, S Blom