This web-site is now archived and no longer updated. My website is now a Forest.
Go To Forest
- What is abstraction anyway? - 8th July, 2017
- Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015
- Imperative Reasoning is Hard - 13th November 2013