Q855192

From Wikidata
Jump to: navigation, search

simply typed lambda calculus (Q855192)[edit]

No description defined yet [edit]

Also known as:
  • STLC
  • λ→
[edit]

Statements