Lambda terms definable as combinators (Q1349878)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Lambda terms definable as combinators |
scientific article; zbMATH DE number 983804
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lambda terms definable as combinators |
scientific article; zbMATH DE number 983804 |
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
0.88746536
0 references
0.8764027
0 references
0.87529474
0 references
0.87267846
0 references
