Theoretical Computer Science

The interplay of computer science and pure mathematics, distinguished by its emphasis on mathematical rigour and technique.