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:
“See, see where Christ’s blood streams in the firmament!
One drop would save my soul—half a drop! ah, my Christ!—
Ah, rend not my heart for naming of my Christ!—
Yet will I call on him!—O, spare me, Lucifer!—
Where is it now? ‘T is gone; and see where God
Stretcheth out his arm, and bends his ireful brows!—
Mountains and hills, come, come and fall on me,
And hide me from the heavy wrath of God!”
—Christopher Marlowe (1564–1593)