Dependent Type Theory

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

    The female of the genus homo is economically dependent on the male. He is her food supply.
    Charlotte Perkins Gilman (1860–1935)

    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)

    By the “mud-sill” theory it is assumed that labor and education are incompatible; and any practical combination of them impossible. According to that theory, a blind horse upon a tread-mill, is a perfect illustration of what a laborer should be—all the better for being blind, that he could not tread out of place, or kick understandingly.... Free labor insists on universal education.
    Abraham Lincoln (1809–1865)