System F (Q2552799)
typed lambda calculus
- polymorphic lambda calculus
- polymorphic λ-calculus
- second-order lambda calculus
- second-order λ-calculus
- F₂
- F2
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | System F |
typed lambda calculus |
|