Dependent Type Theory

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

“There are many of us who cannot but feel dismal about the future of various cultures. Often it is hard not to agree that we are becoming culinary nitwits, dependent upon fast foods and mass kitchens and megavitamins for our basically rotten nourishment.”
—M.F.K. Fisher (1908–1992)

“Writing is more than anything a compulsion, like some people wash their hands thirty times a day for fear of awful consequences if they do not. It pays a whole lot better than this type of compulsion, but it is no more heroic.”
—Julie Burchill (b. 1960)

“The human species, according to the best theory I can form of it, is composed of two distinct races, the men who borrow and the men who lend.”
—Charles Lamb (1775–1834)