Intensional Type Theory

Famous quotes containing the words type and/or theory:

    Lise: Look, monsieur, I don’t know what type of girl you think I am, but I’m not. And now I would like to return to my friends.
    Jerry: I thought you were bored with them. You sure looked it.
    Lise: You should see me now.
    Jerry: Ouch.
    Alan Jay Lerner (1918–1986)

    There is in him, hidden deep-down, a great instinctive artist, and hence the makings of an aristocrat. In his muddled way, held back by the manacles of his race and time, and his steps made uncertain by a guiding theory which too often eludes his own comprehension, he yet manages to produce works of unquestionable beauty and authority, and to interpret life in a manner that is poignant and illuminating.
    —H.L. (Henry Lewis)