Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “Under the species of Syndicalism and Fascism there appears for the first time in Europe a type of man who does not want to give reasons or to be right, but simply shows himself resolved to impose his opinions.”
    —José Ortega Y Gasset (1883–1955)

    “If my theory of relativity is proven correct, Germany will claim me as a German and France will declare that I am a citizen of the world. Should my theory prove untrue, France will say that I am a German and Germany will declare that I am a Jew.”
    —Albert Einstein (1879–1955)