Re: [isabelle] Where to learn about HOL vs FOL?

Le Thu, 31 Jan 2013 16:51:59 +0100, Alfio Martini <alfio.martini at> a écrit:

Hi Yannick,

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.


Hi Alfio!

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.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.