System F (Q2552799)
Jump to navigation
Jump to search
typed lambda calculus
- polymorphic lambda calculus
- polymorphic λ-calculus
- second-order lambda calculus
- second-order λ-calculus
- F₂
- F2
Language | Label | Description | Also known as |
---|---|---|---|
English | System F |
typed lambda calculus |
|
Statements
Identifiers
1 reference