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)

    There is a limit to the application of democratic methods. You can inquire of all the passengers as to what type of car they like to ride in, but it is impossible to question them as to whether to apply the brakes when the train is at full speed and accident threatens.
    Leon Trotsky (1879–1940)

    Psychotherapy—The theory that the patient will probably get well anyway, and is certainly a damned ijjit.
    —H.L. (Henry Lewis)