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)

    Could Shakespeare give a theory of Shakespeare?
    Ralph Waldo Emerson (1803–1882)