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 type of fig leaf which each culture employs to cover its social taboos offers a twofold description of its morality. It reveals that certain unacknowledged behavior exists and it suggests the form that such behavior takes.”
    —Freda Adler (b. 1934)

    “Thus the theory of description matters most.
    It is the theory of the word for those
    For whom the word is the making of the world,
    The buzzing world and lisping firmament.”
    —Wallace Stevens (1879–1955)