Mathematical Structures in Computer Science《计算机科学中的数学结构》（一年10期）. The journal Mathematical Structures in Computer Science publishes work that uses mathematical structures to advance the theory and practice of computer science. Mathematical structures should be understood broadly, and may include ideas and tools from logic, algebra, category theory, topology or geometry, from probability theory, from information theory, etc., insofar as there is an eye to improving our understanding of computer science and its mathematical foundations, or conversely to the transfer of conceptual knowledge or methods acquired in area(s) of computer science to various areas of mathematics.
