Dependent Type Theory

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

    Almost everywhere we find . . . the use of various coercive measures, to rid ourselves as quickly as possible of the child within us—i.e., the weak, helpless, dependent creature—in order to become an independent competent adult deserving of respect. When we reencounter this creature in our children, we persecute it with the same measures once used in ourselves.
    Alice Miller (20th century)

    Under the species of Syndicalism and Fascism there appears for the first time in Europe a type of man who does not want to give reasons or to be right, but simply shows himself resolved to impose his opinions.
    José Ortega Y Gasset (1883–1955)

    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)