1
Handbook of logic in computer science. 1. Background, mathematical structures /
Book
2
Relative category theory and geometric morphisms: a logical approach.
Book
3
Noncommutative rings : Microprogram on noncommutative rings : Berkeley, CA, 10.07.89-21.07.89.
Book
4
Workshop on Category Theory : Bremen, 23.05.86.
Book
5
Special topics in topology and category theory.
Book
6
Category theory applied to computation and control. 1, 140. American Association for the Advancement of Science : proceedings of the international symposium : annual meeting : San-Francisco, CA, 25.02.74-26.02.74.
Book