Lambda terms definable as combinators (Q1349878)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lambda terms definable as combinators |
scientific article |
Statements
Lambda terms definable as combinators (English)
0 references
27 February 1997
0 references
lambda terms
0 references
combinators
0 references
combinatory term
0 references
natural deduction systems
0 references
Hilbert-style systems
0 references
implicational logics
0 references
