816 search results - page 4 / 164 » Abstract Barycentric Algebras |
CALCO
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of thi...
LOGCOM
2010
13 years 3 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
ACS
2006
13 years 5 months ago
2006
AMAST
1997
Springer
13 years 9 months ago
1997
Springer
ENTCS
2010
13 years 2 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...