协同代数方法和工具在整个计算机科学中都存在。他们的应用范围从数据类型到开发技术,规范形式和逻辑,在理论和计算机科学实践。这是联盟的网站旨在将研究人员与对余代数理论的兴趣: