A theory of finite maps

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 971, Issue , 1995, Pages 122-137

  Collins, Graham ^a   Syme, Donald ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 10444262408     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60275-5_61     Document Type: Conference Paper

References (11)

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. th November 1991.
6. Tom F. Melham. Automating Recursive Type Defmitions in HOL. In Graham Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 341-386. Springer-Verlag, 1989.
7. Tom F. Melham. A Package for Inductive Relation Definitions in HOL. In M. Archer, J J Joyce, K N Levitt, and P J Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, Davis, August 1992, pages 350-357. IEEE Computer Society Press, 1992.
8. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990.
9. Donald Syme. Reasoning with the Formal Definition of Standard ML in HOL. In Higher Order Logic Theorem Proving and Its Applications, volume 780 of Lecture Notes in Computer Science, pages 43-60. Springer-Verlag.
10. Donald Syme. Supporting Formal Reasoning about Standard ML. Honours Thesis, Australian National University, 1992.
11. Myra Vanlnwegen and Elsa Gunter. HOL-ML. 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 61-74. Springer-Verlag, 1993.