Strong normalization and typability with intersection types (Q1924327)
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 935225
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Strong normalization and typability with intersection types |
scientific article; zbMATH DE number 935225 |
Statements
Strong normalization and typability with intersection types (English)
0 references
14 October 1996
0 references
strongly normalizing lambda terms
0 references
intersection type assignment systems
0 references
0.8946676254272461
0 references
0.8425098657608032
0 references
0.8392264246940613
0 references
0.837531566619873
0 references
