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)

“It used to be said that you had to know what was happening in America because it gave us a glimpse of our future. Today, the rest of America, and after that Europe, had better heed what happens in California, for it already reveals the type of civilisation that is in store for all of us.”
—Alistair Cooke (b. 1908)

“No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
—André Gide (1869–1951)