Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “To be a real philosopher all that is necessary is to hate some one else’s type of thinking.”
    —William James (1842–1910)

    “The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
    —Giuseppe Mazzini (1805–1872)