Algebraic Foundations in Computer Science | lit.salon