View Λ Calculus And Computer Science Theory: Proceedings Of The Symposium Held In Rome March 25–27, 1975 1975