[Blindmath] Books on Theory of Programming Languages

[Ramana Polavarapu]

Dear All:
 
I am looking for books on theory of programming languages including types
and category theory.  I have managed to find a PDF version of Essentials of
Programming Languages.  Unfortunately, some of the mathematical stuff in
this book is presented as images (not accessible to Jaws).  I am looking for
a good theory book in LaTeX format.  Can anyone help me?  Thank you.  Talk
to you soon.
 
Best regards,
 
Ramana