Q2552799

From Wikidata
Jump to: navigation, search

System F(Q2552799)

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]