Rydeheard, David E. books & textbook
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Pitt, David H. Rydeheard, David E. Dybjer, Peter Pitts, Andrew Poigne, Axel
Springer /1989-08-23 Paperback / 380 Pages
isbn-10: 354051662X / isbn-13: 9783540516620
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science, 530)
Pitt, David H. Curien, Pierre-Louis Abramsky, Samson Pitts, Andrew Poigne, Axel Rydeheard, David E.
Springer /1991-08-21 Paperback / 312 Pages
isbn-10: 354054495X / isbn-13: 9783540544951
Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science, 953)
Rydeheard, D. E. Pitt, David Rydeheard, David E. Johnstone, Peter
Springer /1995-07-21 Paperback / 268 Pages
isbn-10: 3540601643 / isbn-13: 9783540601647
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science, 283)
Pitt, David H. Poigne, Axel Rydeheard, David E.
Springer /1987-10-21 Paperback / 312 Pages
isbn-10: 3540185089 / isbn-13: 9783540185086
