Intensional Type Theory

Famous quotes containing the words type and/or theory:

    We need a type of theatre which not only releases the feelings, insights and impulses possible within the particular historical field of human relations in which the action takes place, but employs and encourages those thoughts and feelings which help transform the field itself.
    Bertolt Brecht (1898–1956)

    Osteopath—One who argues that all human ills are caused by the pressure of hard bone upon soft tissue. The proof of his theory is to be found in the heads of those who believe it.
    —H.L. (Henry Lewis)