Title: Logic Colloquium '82
Subjects: Congresses, Lambda calculus, Model theory, Categories (Mathematics)