Dependent Type Theory

Famous quotes containing the words dependent, type and/or theory:

    Let ... individuals make the most of what God has given them, have their neighbors do the same, and then do all they can to serve each other. There is no use in one man, or one nation, to try to do or be everything. It is a good thing to be dependent on each other for something, it makes us civil and peaceable.
    Sojourner Truth (c. 1797–1883)

    This immediate dependence of language upon nature, this conversion of an outward phenomenon into a type of somewhat in human life, never loses its power to affect us. It is this which gives that piquancy to the conversation of a strong-natured farmer or backwoodsman, which all men relish.
    Ralph Waldo Emerson (1803–1882)

    The whole theory of modern education is radically unsound. Fortunately in England, at any rate, education produces no effect whatsoever. If it did, it would prove a serious danger to the upper classes, and probably lead to acts of violence in Grosvenor Square.
    Oscar Wilde (1854–1900)