I have recently put together a fairly large bibliography of papers on the theory and applications of Higher Order Logic theorem proving using the HOL system. You can access the bibliography on the World Wide Web, and it includes many hyperlinks to abstracts or actual papers. There is also a separate list of dissertations based around HOL.
My intention in compiling this bibliography was to provide a useful resource for people doing theorem-prover research and applications based on HOL or other similar systems. For example, the list should provide beginning researchers (e.g. Ph.d. or M.Sc. students) with a summary of useful starting points for HOL-based research.
To gain access to the bibliography , point your Web browser. And, for dissertations , only.
You can also gain access through my little HOL page .
Please feel free to send additions or corrections by email. If there is enough demand, I'll investigate the options for making the bibliography searchable.
Tom Melham