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.


1 Answer 1


You could look at semantics of programming languages textbooks that rely on category theory.

For instance: Check out the books advised [here][1].

This is part of theoretical computer science. Dana Scott's work is particularly relevant. As is Lawvvere's later work, topos theoretic applications etc. [1]: https://cstheory.stackexchange.com/questions/3533/books-on-programming-language-semantics


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.