Dependent Type Theory

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

    “The sadistic person is as dependent on the submissive person as the latter is on the former; neither can live without the other. The difference is only that the sadistic person commands, exploits, hurts, humiliates, and that the masochistic person is commanded, exploited, hurt, humiliated. This is a considerable difference in a realistic sense; in a deeper emotional sense, the difference is not so great as that which they both have in common: fusion without integrity.”
    —Erich Fromm (1900–1980)

    “The ideal American type is perfectly expressed by the Protestant, individualist, anti-conformist, and this is the type that is in the process of disappearing. In reality there are few left.”
    —Orson Welles (1915–1984)

    “Won’t this whole instinct matter bear revision?
    Won’t almost any theory bear revision?
    To err is human, not to, animal.”
    —Robert Frost (1874–1963)