See Also
- Kappa calculus -- an analogue of typed lambda calculus which excludes higher-order functions
Read more about this topic: Typed Lambda Calculus
Famous quotes containing the word see:
“For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
—Sophocles (497–406/5 B.C.)