Author: Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 Rome, Italy)