• Hem
  • typed lambda calculus

typed lambda calculus

typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction

en-GB/taɪpt læmdə ˈkælkjʊləs/
en-US/ˈtaɪpt ˈlæmdə ˈkælkjələs/

Kategorier:

lambda calculus