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)

“Freud was a hero. He descended to the “Underworld” and met there stark terrors. He carried with him his theory as a Medusa’s head which turned these terrors to stone.”
—R.D. (Ronald David)