Intensional Type Theory

Famous quotes containing the words type and/or theory:

    The real American type can never be a ballet dancer. The legs are too long, the body too supple and the spirit too free for this school of affected grace and toe walking.
    Isadora Duncan (1878–1927)

    Won’t this whole instinct matter bear revision?
    Won’t almost any theory bear revision?
    To err is human, not to, animal.
    Robert Frost (1874–1963)