Title: Logic Colloquium (Studies in Logic & the Foundations of Mathematics)
Subjects: Lambda calculus, Model theory, Categories (Mathematics), Congresses, Symbolic and mathematical Logic