System F (Q2552799)

From Wikidata
Jump to: navigation, search
typed lambda calculus
  • polymorphic lambda calculus
  • polymorphic λ-calculus
  • second-order lambda calculus
  • second-order λ-calculus
  • F₂
  • F2
[edit]
Language Label Description Also known as
English
System F
typed lambda calculus
  • polymorphic lambda calculus
  • polymorphic λ-calculus
  • second-order lambda calculus
  • second-order λ-calculus
  • F₂
  • F2

Statements

[edit]
[edit]
[edit]
[edit]
[edit]
[edit]
[edit]