Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “Histories of the world omitted China; if a Chinaman invented compass or movable type or gunpowder we promptly “forgot it” and named their European inventors. In short, we regarded China as a sort of different and quite inconsequential planet.”
    —W.E.B. (William Edward Burghardt)

    “Could Shakespeare give a theory of Shakespeare?”
    —Ralph Waldo Emerson (1803–1882)