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)

    “Every theory is a self-fulfilling prophecy that orders experience into the framework it provides.”
    —Ruth Hubbard (b. 1924)