Toposes, Triples and Theories (2005)

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

Documents Related by Co-Citation

986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
766 Notions of Computation and Monads – Eugenio Moggi - 1991
3430 Communication and Concurrency – R Milner - 1989
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1353 Monads for functional programming – Philip Wadler - 1995
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
467 Comprehending Monads – Philip Wadler - 1992
449 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
510 Conditional Rewriting Logic as a Unified Model of Concurrency – J Meseguer - 1992