Statements (26)
Predicate | Object |
---|---|
gptkbp:instanceOf |
typed lambda calculus
|
gptkbp:alsoKnownAs |
gptkb:System_Fω
|
gptkbp:basisFor |
gptkb:Haskell_type_system
gptkb:Scala_type_system GHC extensions OCaml module system |
gptkbp:decidability |
undecidable type inference
|
gptkbp:extendsTo |
gptkb:System_F
|
gptkbp:feature |
polymorphism
higher-kinded types type operators |
gptkbp:formedBy |
typed lambda calculus notation
|
https://www.w3.org/2000/01/rdf-schema#label |
System F omega
|
gptkbp:introduced |
gptkb:Jean-Yves_Girard
|
gptkbp:introducedIn |
1972
|
gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:Curry-Howard_correspondence gptkb:second-order_logic |
gptkbp:supports |
type abstraction
type application type-level functions |
gptkbp:usedIn |
gptkb:logic
proof theory functional programming languages |
gptkbp:bfsParent |
gptkb:System_Fω
|
gptkbp:bfsLayer |
7
|