Intensional Type Theory

Famous quotes containing the words type and/or theory:

    They had supposed their formula was fixed.
    They had obeyed instructions to devise
    A type of cold, a type of hooded gaze.
    But when the Negroes came they were perplexed.
    These Negroes looked like men....
    Gwendolyn Brooks (b. 1917)

    The great tragedy of science—the slaying of a beautiful theory by an ugly fact.
    Thomas Henry Huxley (1825–1895)