Dependent Type Theory

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

    Let ... individuals make the most of what God has given them, have their neighbors do the same, and then do all they can to serve each other. There is no use in one man, or one nation, to try to do or be everything. It is a good thing to be dependent on each other for something, it makes us civil and peaceable.
    Sojourner Truth (c. 1797–1883)

    A cigarette is the perfect type of a perfect pleasure. It is exquisite, and it leaves one unsatisfied. What more can one want?
    Oscar Wilde (1854–1900)

    Many people have an oversimplified picture of bonding that could be called the “epoxy” theory of relationships...if you don’t get properly “glued” to your babies at exactly the right time, which only occurs very soon after birth, then you will have missed your chance.
    Pamela Patrick Novotny (20th century)