Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “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)

    “Psychotherapy—The theory that the patient will probably get well anyway, and is certainly a damned ijjit.”
    —H.L. (Henry Lewis)