No label defined (Q4027624)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
21 February 1993
0 references
subtyping
0 references
second-order lambda calculus
0 references
bounded quantification
0 references
normalizing rewrite system
0 references
deterministic type-checking algorithm
0 references
