System F i (Q5300891)
From MaRDI portal
scientific article; zbMATH DE number 6182510
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | System F i |
scientific article; zbMATH DE number 6182510 |
Statements
System F i (English)
0 references
28 June 2013
0 references
term-indexed data types
0 references
generalized algebraic data types
0 references
higher-order polymorphism
0 references
type-constructor polymorphism
0 references
higher-kinded types
0 references
impredicative encoding
0 references
strong normalization
0 references
logical consistency
0 references
