Dependent Type Theory

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

    It is vain to expect virtue from women till they are, in some degree, independent of men ... Whilst they are absolutely dependent on their husbands they will be cunning, mean, and selfish, and the men who can be gratified by the fawning fondness of spaniel-like affection, have not much delicacy, for love is not to be bought, in any sense of the words, its silken wings are instantly shrivelled up when any thing beside a return in kind is sought.
    Mary Wollstonecraft (1759–1797)

    The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.
    Herbert Spencer (1820–1903)

    Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built. Nor let us look down on the standpoint of the theory as make-believe; for we can never do better than occupy the standpoint of some theory or other, the best we can muster at the time.
    Willard Van Orman Quine (b. 1908)