Modified strong reduction in combinatory logic (Q2539218)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modified strong reduction in combinatory logic |
scientific article |
Statements
Modified strong reduction in combinatory logic (English)
0 references
1968
0 references
recursion theory
0 references
constructive mathematics
0 references
strong reduction
0 references
combinatory logic
0 references
