Dependent Type Theory

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

    “It is possible to make friends with our children—but probably not while they are children.... Friendship is a relationship of mutual dependence-interdependence. A family is a relationship in which some of the participants are dependent on others. It is the job of parents to provide for their children. It is not appropriate for adults to enter into parenthood recognizing they have made a decision to accept dependents and then try to pretend that their children are not dependent on them.”
    —Donald C. Medeiros (20th century)

    “The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.”
    —Herbert Spencer (1820–1903)

    “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)