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:

Hi Yannick,

Adding to Gottfried´s selected readings, I strongly recommend the highly
readable

"The Seven Virtues of Simple Type Theory' by William Farmer (Journal of
Applied Logic 6, 2008.

Best!


Hi Alfio!

Seems available on‑line; here is a link for the paper you suggest:
http://www.sciencedirect.com/science/article/pii/S157086830700081X#
(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.