Dependent Type Theory

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

    The awareness that health is dependent upon habits that we control makes us the first generation in history that to a large extent determines its own destiny.
    Jimmy Carter (James Earl Carter, Jr.)

    But the mother’s yearning, that completest type of the life in another life which is the essence of real human love, feels the presence of the cherished child even in the debased, degraded man.
    George Eliot [Mary Ann (or Marian)

    Could Shakespeare give a theory of Shakespeare?
    Ralph Waldo Emerson (1803–1882)