The HOL-omega logic

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

Volumn 5674 LNCS, Issue , 2009, Pages 244-259

  Homeier, Peter V ^a  

^a U S Department of Defense

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; DESIGN PRINCIPLES; ENTIRE SYSTEM; HIGHER ORDER LOGIC; HOL THEOREM PROVER; NEW SYSTEM; SYSTEM F;

PROBLEM SOLVING;

THEOREM PROVING;

EID: 70350347953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03359-9_18     Document Type: Conference Paper

References (12)

1. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall (1997)
2. Coquand, T.: A new paradox in type theory. In: Prawitx, D., Skyrms, B.,Westerstahl, D. (eds.) Proceedings 9th Int. Congress of Logic, Methodology and Philosophy of Science, pp. 555-570. North-Holland, Amsterdam (1994)
3. Gordon, M.J.C., Melham, T.F.: Introduction to HOL. Cambridge University Press, Cambridge (1993)
4. Gordon, M.J.C., Pitts, A.M.: The HOLLogic and System. In: Bowen, J. (ed.) Towards Verified Systems, ch. 3, pp. 49-70. Elsevier Science B.V., Amsterdam (1994)
5. The HOL System DESCRIPTION (Version Kananaskis 4), http://downloads. sourceforge.net/hol/kananaskis-4-description.pdf
6. The HOL System LOGIC (Version Kananaskis 4), http://downloads. sourceforge.net/hol/kananaskis-4-logic.pdf
7. Lack, S., Street, R.: The formal theory of monads II. Journal of Pure Applied Algorithms 175, 243-265 (2002)
8. Melham, T.F.: The HOL Logic Extended with Quantification over Type Variables. Formal Methods in System Design 3(1-2), 7-24 (1993)
9. Monk, J.D.: Introduction to Set Theory. McGraw-Hill, New York (1969)
10. Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
11. Völker, N.: HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol. 4732, pp. 334-351. Springer, Heidelberg (2007)
12. Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.)AFP 1995. LNCS, vol. 925. Springer, Heidelberg (1995)