lambda calculus
formal system in mathematical logic
System F-sub
typed lambda calculus
typed lambda calculus
typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
simply typed lambda calculus
formal system in mathematical logic
System F
typed lambda calculus