No label defined (Q4953356)
From MaRDI portal
!
WARNING
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 1444323
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1444323 |
Statements
6 December 2000
0 references
separated-linear lambda calculus
0 references
resource consumption
0 references
linear logic
0 references
subject reduction
0 references
confluence
0 references
call-by-need
0 references
0.93529546
0 references
0.8991497
0 references
0.8956542
0 references
0.8864333
0 references
0.8853359
0 references
0.8796142
0 references
0.86610115
0 references
0.86503655
0 references
0.86453074
0 references
0 references
