Dependent Type Theory

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

    It is vain to expect virtue from women till they are, in some degree, independent of men ... Whilst they are absolutely dependent on their husbands they will be cunning, mean, and selfish, and the men who can be gratified by the fawning fondness of spaniel-like affection, have not much delicacy, for love is not to be bought, in any sense of the words, its silken wings are instantly shrivelled up when any thing beside a return in kind is sought.
    Mary Wollstonecraft (1759–1797)

    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)

    There could be no fairer destiny for any physical theory than that it should point the way to a more comprehensive theory in which it lives on as a limiting case.
    Albert Einstein (1879–1955)