Variations on Algebra: monadicity and generalisations of equational theories (2001)

Cached

Download Links

by Edmund Robinson
Venue:Formal Aspects of Computing
Citations:25 - 0 self

Documents Related by Co-Citation

58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
17 Enriched lawvere theories,” Theory and Applications of Categories – J Power - 1999
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
11 An algebra-coalgebra framework for system specification – C Cîrstea - 2007
163 An abstract view of programming languages – E Moggi - 1989
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
394 Algebraic Theory of Processes – M Hennessy - 1988
210 A powerdomain construction – G. D. Plotkin - 1976
137 Probabilistic Non-determinism – C Jones - 1990
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
19 A presentation of topoi as algebraic relative to categories or graphs – E J Dubuc, G M Kelly - 1983
930 Categories for the Working Mathematician – S Mac Lane - 1971
8 A Syntactic Approach to Modularity – P Cenciarelli, E Moggi - 1993