An application of A-translation to the existence of families of looping combinators." Submitted to the Journal of Functional Programing (1991)

by H Herbelin