Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “Chicago—is—oh well a façade of skyscrapers facing a lake, and behind the façade every type of dubiousness.”
    —E.M. (Edward Morgan)

    “Won’t this whole instinct matter bear revision?
    Won’t almost any theory bear revision?
    To err is human, not to, animal.”
    —Robert Frost (1874–1963)