HOLCF: Higher order logic of computable functions
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 293-307
- https://doi.org/10.1007/3-540-60275-5_72
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A HOL Basis for Reasoning about Functional ProgramsBRICS Report Series, 1994
- IsabellePublished by Springer Nature ,1994
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- Type checking type classesPublished by Association for Computing Machinery (ACM) ,1993
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- Algebraische Spezifikation abstrakter DatentypenPublished by Springer Nature ,1989
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- Deriving structural induction in LCFPublished by Springer Nature ,1984
- Edinburgh LCFLecture Notes in Computer Science, 1979