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)

“The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.”
—Herbert Spencer (1820–1903)

“We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;—and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.”
—Ralph Waldo Emerson (1803–1882)