David H. Pitt Pierre-Louis Curien Samson Abramsky Andrew M. Pitts Axel Poigné David E. Rydeheard Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings CTCS Lecture Notes in Computer Science 530 Springer 1991 3-540-54495-X db/conf/ctcs/ctcs1991.html