System F
Sign in to saveAlso known as polymorphic lambda calculus, polymorphic λ-calculus, second-order lambda calculus, second-order λ-calculus, F₂, F2
typed lambda calculus
Wikidata facts
- Instance of
- typed lambda calculus
Show 2 more facts
- discoverer or inventor
- John C. Reynolds
- different from
- Ferry Corsten
via Wikidata · CC0