Q2552799

From Wikidata
Jump to: navigation, search

System F (Q2552799)[edit]

typed lambda calculus [edit]

Also known as:
  • polymorphic lambda calculus
  • polymorphic λ-calculus
  • second-order lambda calculus
  • second-order λ-calculus
  • F₂
  • F2
[edit]

Statements