Tiuryn, A New Characterization of Lambda Definability (1993)

by A Jung, J A
Venue:TLCA’1993, LNCS 664