typed lambda calculus
Sign in to savetyped formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
Connections
lambda calculus
Entity
computable function
Entity
System F
Entity
mathematics
Entity
computer science
Entity
International Standard Book Number
Entity
programming language
Entity
computer programming
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
mathematical logic
Entity
Q34010
Entity
functional programming
Entity
category theory
Entity
Cambridge University Press
Entity
imperative programming
Entity
polymorphism
Entity
Peano axioms
Entity
type system
Entity
halting problem
Entity