No label defined (Q4511325)
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: scientific article; zbMATH DE number 1523050 |
scientific article; zbMATH DE number 1523050
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1523050 |
Statements
30 October 2000
0 references
untyped \(\lambda\)-calculus
0 references
infinite reduction path
0 references
0.94163287
0 references
0.90846753
0 references
0.9076613
0 references
0 references
0.89622396
0 references
0.8953693
0 references
0.8923653
0 references
0.88982546
0 references
0.8890444
0 references
0.88492024
0 references
