Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)