Non-primitive recursive function definitions
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Non-primitive Recursive Function DefinitionsBRICS Report Series, 1995
- LCF examples in HOLThe Computer Journal, 1995
- A HOL Basis for Reasoning about Functional ProgramsBRICS Report Series, 1994
- Domain theory in HOLPublished by Springer Nature ,1994
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- Introducing well-founded function definitions in HOLPublished by Elsevier ,1993
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- Automating Recursive Type Definitions in Higher Order LogicPublished by Springer Nature ,1989