Author:
Collins Graham,Syme Donald
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. M. J. C. Gordon and T. F. Melham, editors. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.
2. M.J.C. Gordon. Merging HOL with Set Theory: preliminary experiments. Technical Report 353, University of Cambridge Computer Laboratory, 1994.
3. Elsa Gunter. A Broader Class of Trees for Recursive Type Definitions for HOL. In J. J. Joyce and C. J. H. Seger, editors, Higher Order Logic Theorem Proving and its Applications, volume 780 of Lecture Notes in Computer Science, pages 141–154. Springer-Verlag, 1993.
4. Savi Maharaj and Elsa Gunter. Studying the ML Module System in HOL. In Tom Melham and Juanito Camilleri, editors, Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science. Springer-Verlag, September 1994.
5. Tom F. Melham. Recursive Data Types. Message on info-hol mailing list, 9th November 1991.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献