Documents Related by Co-Citation

75 Higher dimensional algebra III: n-categories and the algebra of opetopes – John C. Baez, James Dolan - 1997
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
13 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
124 Categorical Logic and Type Theory – B Jacobs - 1999
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1418 A Calculus of Communicating Systems – R Milner - 1980
1470 Principles of Algebraic Geometry – P A Griffiths, J Harris - 1978
2206 Noncommutative Geometry – Alain Connes - 1994
481 Domain Theory – Samson Abramsky, Achim Jung - 1994