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)

    The real American type can never be a ballet dancer. The legs are too long, the body too supple and the spirit too free for this school of affected grace and toe walking.
    Isadora Duncan (1878–1927)

    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)