1
Published 1991
Springer Berlin Heidelberg
... to traditional syntaxes. The proceedings of the previous three category theory conferences appear as Lecture...