Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 45, Issue 1 (1980), 165-171.
Minimal Forms in $\lambda$-Calculus Computations
The notion of a minimal form is defined as an extension of the notion of a normal form in $\lambda-\beta$-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.
J. Symbolic Logic, Volume 45, Issue 1 (1980), 165-171.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Bohm, Corrado; Micali, Silvio. Minimal Forms in $\lambda$-Calculus Computations. J. Symbolic Logic 45 (1980), no. 1, 165--171. https://projecteuclid.org/euclid.jsl/1183740519