“A large collection of texts can be found at the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) web site.

Then there is also Programming language theory texts online, PLT Online for short, and if you don’t find what you are looking for, then try CiteSeer or have a look at the IEEE and ACM digital libraries.
Paul McJones’s web site also might point you to what you are looking for.

Ongoing deep discussions may also be found at Lambda the Ultimate.” source...