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)

    Hygiene is the corruption of medicine by morality. It is impossible to find a hygienest who does not debase his theory of the healthful with a theory of the virtuous.... The true aim of medicine is not to make men virtuous; it is to safeguard and rescue them from the consequences of their vices.
    —H.L. (Henry Lewis)