Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
Don't miss the opportunity to share your thoughts!