Category theory and computer science
Subtitle: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
By: David Pitt, David E. Rydeheard, Peter Johnstone, eds.
Contributors: Pitt, David; Rydeheard, D. E.; Johnstone, P. T.; Biennial Conference on Category Theory and Computer Science (6th : 1995 : Cambridge, England)
Series: Lecture notes in computer science ;; 953
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 252
Subjects: Computer programming -- Congresses; Categories (Mathematics) -- Congresses
Notes: Includes bibliographical references.
"Sixth meeting of the Biennial Conference on Category Theory and Computer Science (CTVS)"--Pref.