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

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