Recently, while searching for Henk Barendregt’s Lambda Calculus bible,

(see the spelling suggestion)

emma :: Apr.25.2008 :: logic :: No Comments »