Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 
Subtitle: Proceedings (Lecture Notes in Computer Science, 240)
Publisher: New York Bound
Published: October 1986
Language: eng
ISBN-13: 9780387171623