Title: Syntactic aspects of the non-deterministic lambda calculus
Subjects: Lambda calculus