Journal: Mathematical Structures in Computer Science