Columbia subject headings:
Categories (Mathematics)--Congresses.
Lambda calculus--Congresses.
Model theory--Congresses.
Harvard subject headings:
Categories (Mathematics)--Congresses.
Lambda calculus--Congresses.
Logic, Symbolic and mathematical.
Model theory--Congresses.
Princeton subject headings:
Categories (Mathematics)--Congresses.
Lambda calculus--Congresses.
Model theory--Congresses.