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)

    It took six weeks of debate in the Senate to get the Arms Embargo Law repealed—and we face other delays during the present session because most of the Members of the Congress are thinking in terms of next Autumn’s election. However, that is one of the prices that we who live in democracies have to pay. It is, however, worth paying, if all of us can avoid the type of government under which the unfortunate population of Germany and Russia must exist.
    Franklin D. Roosevelt (1882–1945)

    A theory if you hold it hard enough
    And long enough gets rated as a creed....
    Robert Frost (1874–1963)