Q855192

From Wikidata
Jump to: navigation, search

simply typed lambda calculus (Q855192)[edit]

No description defined yet [edit]

Also known as:
  • STLC
  • λ→

Statements

Language Code Linked page
Ελληνικά elwiki [edit]
English enwiki [edit]
português ptwiki [edit]
русский ruwiki [edit]
中文 zhwiki [edit]
[add]
[add]
[add]
[add]
[add]
[add]