typed lambda calculus

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

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

Κατηγορίες:

lambda calculus