Lambda the Ultimate

Not much to say here, just starting out!

Mathematically structured programming. Historical development of programming languages. Cross-pollination with linguistics and natural language.