Dependent Type Theory

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

    The female of the genus homo is economically dependent on the male. He is her food supply.
    Charlotte Perkins Gilman (1860–1935)

    Mediocre people have an answer for everything and are astonished at nothing. They always want to have the air of knowing better than you what you are going to tell them; when, in their turn, they begin to speak, they repeat to you with the greatest confidence, as if dealing with their own property, the things that they have heard you say yourself at some other place.... A capable and superior look is the natural accompaniment of this type of character.
    Eugène Delacroix (1798–1863)

    No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.
    André Gide (1869–1951)