Dependent Type Theory

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

    Man is so muddled, so dependent on the things immediately before his eyes, that every day even the most submissive believer can be seen to risk the torments of the afterlife for the smallest pleasure.
    Joseph De Maistre (1753–1821)

    We have two kinds of “conference.” One is that to which the office boy refers when he tells the applicant for a job that Mr. Blevitch is “in conference.” This means that Mr. Blevitch is in good health and reading the paper, but otherwise unoccupied. The other type of “conference” is bona fide in so far as it implies that three or four men are talking together in one room, and don’t want to be disturbed.
    Robert Benchley (1889–1945)

    Hygiene is the corruption of medicine by morality. It is impossible to find a hygienest who does not debase his theory of the healthful with a theory of the virtuous.... The true aim of medicine is not to make men virtuous; it is to safeguard and rescue them from the consequences of their vices.
    —H.L. (Henry Lewis)