Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:typed_lambda_calculus
|
| gptkbp:alsoKnownAs |
gptkb:System_F_omega
|
| gptkbp:basisFor |
gptkb:Haskell_type_system
gptkb:OCaml_type_system gptkb:Scala_type_system GHC extensions type systems in programming languages |
| gptkbp:describedBy |
gptkb:category_theory
proof theory |
| gptkbp:extendsTo |
gptkb:System_F
|
| gptkbp:feature |
polymorphism
kinds type constructors type operators |
| gptkbp:formedBy |
gptkb:second-order_lambda_calculus_with_type_operators
|
| gptkbp:hasKindSystem |
yes
|
| gptkbp:hasPolymorphism |
yes
|
| gptkbp:hasTypeConstructors |
yes
|
| gptkbp:hasTypeOperators |
yes
|
| gptkbp:introduced |
gptkb:Jean-Yves_Girard
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:System_F<: gptkb:System_Fη gptkb:System_F |
| gptkbp:supports |
higher-kinded polymorphism
|
| gptkbp:usedIn |
gptkb:theoretical_computer_science
gptkb:logic functional programming languages |
| gptkbp:bfsParent |
gptkb:polymorphic_lambda_calculus
|
| gptkbp:bfsLayer |
6
|
| http://www.w3.org/2000/01/rdf-schema#label |
System Fω
|