welcome

New book draft: Concrete Semantics!
me

gerwin.klein@nicta.com.au

PGP key

This page looks better with style-sheets enabled.