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)

    Lucretius
    Sings his great theory of natural origins and of wise conduct; Plato
    smiling carves dreams, bright cells
    Of incorruptible wax to hive the Greek honey.
    Robinson Jeffers (1887–1962)