Proceedings on category theory and computer programming - Pitt David Ed.; Tutorial and workshop on category theory and computer programming (1985 : Guildford U K); Abramsky Samson Ed. (Berlin Springer Verlag, 1986)
Includes bibliography
Keywords: Computer programming