Dependent Type Theory

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

    “One of the baffling things about life is that the purposes of institutions may be ideal, while their administration, dependent upon the faults and weaknesses of human beings, may be bad.”
    —Mary Barnett Gilson (1877–?)

    “This type of man who is devoted to the study of wisdom is always most unlucky in everything, and particularly when it comes to procreating children; I imagine this is because Nature wants to ensure that the evils of wisdom shall not spread further throughout mankind.”
    —Desiderius Erasmus (c. 1466–1536)

    “We have our little theory on all human and divine things. Poetry, the workings of genius itself, which, in all times, with one or another meaning, has been called Inspiration, and held to be mysterious and inscrutable, is no longer without its scientific exposition. The building of the lofty rhyme is like any other masonry or bricklaying: we have theories of its rise, height, decline and fall—which latter, it would seem, is now near, among all people.”
    —Thomas Carlyle (1795–1881)