A new characterization of lambda denability (1993)

by A Jung, J Tiuryn
Venue:of Lecture Notes in Computer Science