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)

    The whole theory of modern education is radically unsound. Fortunately in England, at any rate, education produces no effect whatsoever. If it did, it would prove a serious danger to the upper classes, and probably lead to acts of violence in Grosvenor Square.
    Oscar Wilde (1854–1900)