Axioms for the Theory of Lambda-Conversion (Q3714048)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3941500
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Axioms for the Theory of Lambda-Conversion |
scientific article; zbMATH DE number 3941500 |
Statements
Axioms for the Theory of Lambda-Conversion (English)
0 references
1985
0 references
lambda calculus
0 references
program for computing normal form of lambda-terms
0 references
substitution
0 references
replacement
0 references
renaming
0 references
0.90389675
0 references
0.88393164
0 references
0.88270384
0 references
0.8810224
0 references
0.87737024
0 references
0.8726257
0 references
0 references
0.8717319
0 references
0.87035066
0 references
0.8702057
0 references
