Dependent Type Theory

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

“People who get through life dependent on other people’s possessions are always the first to lecture you on how little possessions count.”
—Ben Elton (b. 1959)

“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)

“The theory [before the twentieth century] ... was that all the jobs in the world belonged by right to men, and that only men were by nature entitled to wages. If a woman earned money, outside domestic service, it was because some misfortune had deprived her of masculine protection.”
—Rheta Childe Dorr (1866–1948)