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)

    Writing is more than anything a compulsion, like some people wash their hands thirty times a day for fear of awful consequences if they do not. It pays a whole lot better than this type of compulsion, but it is no more heroic.
    Julie Burchill (b. 1960)

    Lucretius
    Sings his great theory of natural origins and of wise conduct; Plato
    smiling carves dreams, bright cells
    Of incorruptible wax to hive the Greek honey.
    Robinson Jeffers (1887–1962)