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)

“Chicago—is—oh well a façade of skyscrapers facing a lake, and behind the façade every type of dubiousness.”
—E.M. (Edward Morgan)

“Psychotherapy—The theory that the patient will probably get well anyway, and is certainly a damned ijjit.”
—H.L. (Henry Lewis)