welcome

New book draft: Concrete Semantics!
Submit your paper to ITP 2014
me

gerwin.klein@nicta.com.au

PGP key

This page looks better with style-sheets enabled.