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/

Catégories :

lambda calculus