No label defined (Q4436023)
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 2006627 |
scientific article; zbMATH DE number 2006627
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2006627 |
Statements
23 November 2003
0 references
higher types
0 references
recursion
0 references
parallel computation
0 references
NC
0 references
lambda calculus
0 references
linear logic
0 references
implicit computational complexity
0 references
0.9010208
0 references
0.8761696
0 references
0.87128234
0 references
0.86631846
0 references
0.86567944
0 references
0.86308473
0 references
0.86235654
0 references
0.85958177
0 references
