Re: [isabelle] Where to learn about HOL vs FOL?
Le Thu, 31 Jan 2013 16:51:59 +0100, Alfio Martini
<alfio.martini at acm.org> a écrit:
Adding to Gottfried´s selected readings, I strongly recommend the highly
"The Seven Virtues of Simple Type Theory' by William Farmer (Journal of
Applied Logic 6, 2008.
Seems available on‑line; here is a link for the paper you suggest:
(the page also has a link at the top, for a PDF version)
Still looking at Gottfried's list.
“Syntactic sugar causes cancer of the semi-colons.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and