Intensional Type Theory

Famous quotes containing the words type and/or theory:

    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)

    Every theory is a self-fulfilling prophecy that orders experience into the framework it provides.
    Ruth Hubbard (b. 1924)