Dependent Type Theory

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

“The awareness that health is dependent upon habits that we control makes us the first generation in history that to a large extent determines its own destiny.”
—Jimmy Carter (James Earl Carter, Jr.)

“Music, in performance, is a type of sculpture. The air in the performance is sculpted into something.”
—Frank Zappa (1940–1994)

“The theory [before the twentieth century] ... was that all the jobs in the world belonged by right to men, and that only men were by nature entitled to wages. If a woman earned money, outside domestic service, it was because some misfortune had deprived her of masculine protection.”
—Rheta Childe Dorr (1866–1948)