Are there any references on theoretical computer science aimed at people with a background in research mathematics?
For reference, I spend my time thinking about category theory and set theory most days. I've begun programming in haskell and it feels very intuitive now that I'm starting to get the whole 'type' syntax down, but reading through some stuff comparing haskell to other languages got me thinking about the foundations of programming, and now here I am.
Some light searching revealed that Knuth has a series considered a standard reference by many; I'm familiar with Knuth as a mathematician and fond of his work, so this seems promising. I've also heard that the computing handbook is widely considered a standard reference.
Are there any standard references I'm missing, or narrower ones geared towards set/category theorists? Research papers are certainly welcome, and any pointers are appreciated.