Pitt, D., Ed.
Category theory and computer programming,proceedings 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00240 .
681 LNCS
Category theory and computer programming,proceedings 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00240 .
681 LNCS