First-class function
article-link
What links here
Function type
Type variance
article-link
Reference (C++)
article-link
Typed lambda calculus
article-link
Function space
article-link
Curry–Howard correspondence
article-link
Subtyping
article-link
Type system
article-link
Function (mathematics)
article-link
Combinatory logic
article-link
Closure (computer programming)
article-link
Scope (computer programming)
article-link
Exponential
article-link
Natural deduction
article-link
Currying
article-link