Recursion induction principle revisited (1983)

by G Boudol, L Kott
Venue:Theoretical Computer Science