Deriving structural induction in LCF
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 197-214
- https://doi.org/10.1007/3-540-13346-1_10
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Deriving structural induction in LCFPublished by Springer Nature ,1984
- The semantics of lazy (and industrious) evaluationPublished by Association for Computing Machinery (ACM) ,1982
- Algebras, Theories and Freeness: An Introduction for Computer ScientistsPublished by Springer Nature ,1982
- Programming in Constructive Set TheoryPublished by Association for Computing Machinery (ACM) ,1981
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969