Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Bibliografiska uppgifter
Institutionell upphovsman: Biennial Conference on Category Theory and Computer Science
Övriga upphovsmän: Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T.
Materialtyp: Bok
Språk:English
Publicerad: Berlin Springer c1995.
Ämnen:
Electronic digital computers > Programming > Congresses.
Categories (Mathematics) > Congresses.