Using lattice theory in higher order logic
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 315-330
- https://doi.org/10.1007/bfb0105413
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Window Inference In The HOL SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- HOLCF: Higher order logic of computable functionsPublished by Springer Nature ,1995
- TkWinHOL: A tool for Window Inference in HOLPublished by Springer Nature ,1995
- Program Refinement by Theorem ProverPublished by Springer Nature ,1994
- Formalizing a Hierarchical Structure of Practical Mathematical ReasoningJournal of Logic and Computation, 1993
- Duality in specification languages: a lattice-theoretical approachActa Informatica, 1990
- Refinement concepts formalised in higher order logicFormal Aspects of Computing, 1990
- A calculus of refinements for program derivationsActa Informatica, 1988
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Edinburgh LCFLecture Notes in Computer Science, 1979