COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS (Q3358239)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS |
scientific article |
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
