Equational reasoning for linking with first-class primitive modules (Q4518890)
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 1538035
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equational reasoning for linking with first-class primitive modules |
scientific article; zbMATH DE number 1538035 |
Statements
20 May 2001
0 references
\(\lambda\)-calculus
0 references
\(m\)-calculus
0 references
0.7767599821090698
0 references
0.7230311036109924
0 references
0.7120248079299927
0 references
0.7091912627220154
0 references
0.7043852806091309
0 references
Equational reasoning for linking with first-class primitive modules (English)
0 references
