𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras

✍ Scribed by S. Caenepeel; Bogdan Ion; G. Militaru; Shenglin Zhu


Book ID
110282983
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
141 KB
Volume
3
Category
Article
ISSN
1386-923X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Algebras and Coalgebras || Algebraic and
✍ Backhouse, Roland; Crole, Roy; Gibbons, Jeremy πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 166 KB

Program Construction Is About Turning Specifications Of Computer Software Into Implementations. Recent Research Aimed At Improving The Process Of Program Construction Exploits Insights From Abstract Algebraic Tools Such As Lattice Theory, Fixpoint Calculus, Universal Algebra, Category Theory, And Al