lambda calculus (Q242028)

From Wikidata
Jump to: navigation, search
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