Q242028

From Wikidata
Jump to: navigation, search

lambda calculus(Q242028)

formal system in mathematical logic
  • λ-calculus
  • lambda calculi
  • λ-calculi
  • untyped lambda calculus
  • type-free lambda calculus
[edit]
Language Label Description Also known as
English
lambda calculus
formal system in mathematical logic
  • λ-calculus
  • lambda calculi
  • λ-calculi
  • untyped lambda calculus
  • type-free lambda calculus

Statements