No label defined (Q4870805)
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 860035
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 860035 |
Statements
1 July 1996
0 references
\(\lambda\)-calculus
0 references
interaction nets
0 references
reduction algorithm
0 references
functional programming
0 references
PCF
0 references
0.90240877866745
0 references
0.9003176689147949
0 references
0.868100106716156
0 references
0.8443067669868469
0 references
0.8177312612533569
0 references
