Notes concerning “Ur-Scheme”
Eur-Scheme: a simplified Ur-Scheme
2007 to 2009 (13 minutes)
Studies in Simplicity
2007 to 2009 (5 minutes)