The decidability of hindley's axioms for strong reduction (Q5532529)

From MaRDI portal
scientific article; zbMATH DE number 3245443
Language Label Description Also known as
English
The decidability of hindley's axioms for strong reduction
scientific article; zbMATH DE number 3245443

    Statements

    The decidability of hindley's axioms for strong reduction (English)
    0 references
    0 references
    0 references
    1967
    0 references
    0 references
    mathematical logic
    0 references
    0 references
    0 references