Dependent Type Theory

Famous quotes containing the words dependent, type and/or theory:

    In looking back over the college careers of those who for various reasons have been prominent in undergraduate life ... one cannot help noticing that these men have nearly always shown from the start an interest in the lives of their fellow students. A large acquaintance means that many persons are dependent on a man and conversely that he himself is dependent on many. Success necessarily means larger responsibilities, and responsibilities mean many friends.
    Franklin D. Roosevelt (1882–1945)

    Are God and Nature then at strife,
    That Nature lends such evil dreams?
    So careful of the type she seems,
    So careless of the single life;
    Alfred Tennyson (1809–1892)

    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)