Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “The ideal American type is perfectly expressed by the Protestant, individualist, anti-conformist, and this is the type that is in the process of disappearing. In reality there are few left.”
    —Orson Welles (1915–1984)

    “No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
    —André Gide (1869–1951)