Q242028

From Wikidata
Jump to: navigation, search

lambda calculus (Q242028)[edit]

formal system in mathematical logic [edit]

Also known as:
  • λ-calculus
  • lambda calculi
  • λ-calculi
  • untyped lambda calculus
  • type-free lambda calculus
[edit]

Statements