welcome

New book: Concrete Semantics!

This page looks better with style-sheets enabled.