Toposes, Triples and Theories (2005)

by Michael Barr , Charles Wells
Venue: REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES
Citations:189 - 1 self

Active Bibliography

and Theories Version 1.1, Reprinted by Theory and Applications of Categories – Michael Barr, Charles Wells, Originally Published Springer-verlag, Michael Barr, Charles Wells, Charles Wells
731 Notions of Computation and Monads – Eugenio Moggi - 1991
540 Model Theory – Wilfrid Hodges - 2000
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
566 Term Rewriting Systems – J. W. Klop - 1992
453 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
271 An Analysis of First-Order Logics of Probability – Joseph Y. Halpern - 1990
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
215 A logic for reasoning about probabilities – R Fagin, J Halpern, N Megiddo - 1990