No label defined (Q5687240)
From MaRDI portal
scientific article; zbMATH DE number 956833
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 956833 |
Statements
11 December 1996
0 references
lambda-terms
0 references
simple type hierarchy
0 references
recursive types
0 references
subject reduction
0 references
strong normalization
0 references
principal typing
0 references
decidability
0 references
