Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:typeface
|
| gptkbp:based_on |
lambda calculus
|
| gptkbp:can_be_extended_by |
System Fω
|
| gptkbp:developed_by |
gptkb:Jean-Yves_Girard
|
| gptkbp:has_programs |
theoretical computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
System F
|
| gptkbp:introduced |
gptkb:1972
|
| gptkbp:is_a |
polymorphic lambda calculus
|
| gptkbp:is_characterized_by |
parametric polymorphism
|
| gptkbp:is_implemented_in |
various programming languages
|
| gptkbp:is_noted_for |
complexity
expressiveness |
| gptkbp:is_related_to |
gptkb:Hindley-Milner_type_system
|
| gptkbp:is_used_for |
type inference
|
| gptkbp:is_used_in |
functional programming languages
|
| gptkbp:provides |
type abstraction
type application |
| gptkbp:bfsParent |
gptkb:Ferry_Corsten
|
| gptkbp:bfsLayer |
3
|