Wadler's Blog

Stack Exchange is a website for asking and answering technical questions. One part of the web site is set aside for Theoretical Computer Science. It tends to be dominated by topics in "Theory A" (algorithms and complexity), but there is a small, intrepid group attempting to establish it as a venue for topics in "Theory B" (logic, semantics, and programming languages). To encourage further participation, they've assembled a list of some of the interesting questions they've handled. Have a look, and contribute some questions or answers of your own!