On the expressive power of finitely typed and universally polymorphic recursive procedures (1992)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:Theoretical Computer Science