Dependent Type Theory

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

“Realism holds that things known may continue to exist unaltered when they are not known, or that things may pass in and out of the cognitive relation without prejudice to their reality, or that the existence of a thing is not correlated with or dependent upon the fact that anybody experiences it, perceives it, conceives it, or is in any way aware of it.”
—William Pepperell Montague (1842–1910)

“To put it rather bluntly, I am not the type who wants to go back to the land; I am the type who wants to go back to the hotel.”
—Fran Lebowitz (b. 1951)

“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)