Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “To be a real philosopher all that is necessary is to hate some one else’s type of thinking.”
    —William James (1842–1910)

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