Article contents
Minimal forms in λ-cakulus computations
Published online by Cambridge University Press: 12 March 2014
Abstract
The notion of a minimal form is defined as an extension of the notion of a normal form in λ-β-calculus and its meaning is discussed in a computational environment. The features of the Knuth-Gross reduction strategy are used to prove that to possess a minimal form, for a generic term, is a semidecidable predicate.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1980
References
REFERENCES
- 3
- Cited by