Dependent Type Theory

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

“Now wait a minute. You listen to me. I’m an advertising man, not a red herring. I’ve got a job, a secretary, a mother, two ex- wives, and several bartenders dependent on me. And I don’t intend to disappoint them all by getting myself slightly killed.”
—Ernest Lehman (b.1920)

“To put it rather bluntly, I am not the type who wants to go back to the land; I am the type who wants to go back to the hotel.”
—Fran Lebowitz (b. 1951)

“The theory of the Communists may be summed up in the single sentence: Abolition of private property.”
—Karl Marx (1818–1883)