welcome
New book:
Concrete Semantics
!
Blog:
proofcraft.org
Contact
Teaching
Publications
Projects
About
@lsf37
gerwin.klein@data61.csiro.au
PGP key
This page looks better with style-sheets enabled.