Dependent Type Theory

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

    The mother whose self-image is dependent on her children places on those children the responsibility for her own identity, and her involvement in the details of their lives can put great pressure on the children. A child suffers when everything he or she does is extremely important to a parent; this kind of over-involvement can turn even a small problem into a crisis.
    Grace Baruch (20th century)

    They had supposed their formula was fixed.
    They had obeyed instructions to devise
    A type of cold, a type of hooded gaze.
    But when the Negroes came they were perplexed.
    These Negroes looked like men....
    Gwendolyn Brooks (b. 1917)

    A theory of the middle class: that it is not to be determined by its financial situation but rather by its relation to government. That is, one could shade down from an actual ruling or governing class to a class hopelessly out of relation to government, thinking of gov’t as beyond its control, of itself as wholly controlled by gov’t. Somewhere in between and in gradations is the group that has the sense that gov’t exists for it, and shapes its consciousness accordingly.
    Lionel Trilling (1905–1975)