Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “Music, in performance, is a type of sculpture. The air in the performance is sculpted into something.”
    —Frank Zappa (1940–1994)

    “The theory of the Communists may be summed up in the single sentence: Abolition of private property.”
    —Karl Marx (1818–1883)