Intensional Type Theory

Famous quotes containing the words type and/or theory:

    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)

    Thus the theory of description matters most.
    It is the theory of the word for those
    For whom the word is the making of the world,
    The buzzing world and lisping firmament.
    Wallace Stevens (1879–1955)