Discriminators in lambda calculus - Gaborovič, Svitan (Array, 1995)