A new characterization of lambda definability (1993)

by A Jung, J Tiuryn
Venue:Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science