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
1967
0 references
mathematical logic
0 references
