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

Statements

Language Code Linked page
Ελληνικά elwiki [edit]
English enwiki [edit]
français frwiki [edit]
hrvatski hrwiki [edit]
italiano itwiki [edit]
日本語 jawiki [edit]
polski plwiki [edit]
русский ruwiki [edit]
中文 zhwiki [edit]
[add]
[add]
[add]
[add]
[add]
[add]