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/

Danh mục:

lambda calculus