COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS (Q3358239)
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: COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS |
scientific article; zbMATH DE number 4211513
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS |
scientific article; zbMATH DE number 4211513 |
Statements
COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS (English)
0 references
1990
0 references
type assignment
0 references
intersection types
0 references
term rewriting
0 references
\(\lambda \) - calculus
0 references
Strong normalization
0 references
confluence
0 references
0.8325806260108948
0 references
0.8270267844200134
0 references
0.8173894882202148
0 references
