Journal of Symbolic Logic 45 (1):165-171 (1980)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Pseudoprojective Strongly Minimal Sets Are Locally Projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Comment: The Minimal Self is a Social Self. de Haan - 2010 - In Thomas Fuchs, Heribert Sattel & Peter Henningsen (eds.), The embodied self: dimensions, coherence, disorders. Schattauer.
The Ontological Status of Minimal Entities.Luca Moretti - 2008 - Philosophical Studies 141 (1):97 - 114.
A Propositional Calculus Intermediate Between the Minimal Calculus and the Classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.
Corrigendum to My Paper: ``A Propositional Calculus Intermediate Between the Minimal Calculus and the Classical''.Charles Parsons - 1969 - Notre Dame Journal of Formal Logic 10 (3):336-336.
Proving Theorems of the Second Order Lambek Calculus in Polynomial Time.Erik Aarts - 1994 - Studia Logica 53 (3):373 - 387.
-Calculus and Böhm's Theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Uniqueness of Normal Proofs of Minimal Formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
Added to index2009-01-28
Total downloads192 ( #23,021 of 2,177,988 )
Recent downloads (6 months)1 ( #317,698 of 2,177,988 )
How can I increase my downloads?