Intensional Type Theory

Famous quotes containing the words type and/or theory:

“People forget that it is the eye that makes the horizon, and the rounding mind’s eye which makes this or that man a type or representative of humanity with the name of hero or saint.”
—Ralph Waldo Emerson (1803–1882)

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