Mathematical Structures in Computer Science
A journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science.