This web-site is now archived and no longer updated. My website is now a Forest. Go To Forest Write your Compiler by Proving it Correct - 23rd August, 2015 Context splitting and substructural terms - 1st January 2014