Intensional Type Theory

Famous quotes containing the words type and/or theory:

    “Writing is more than anything a compulsion, like some people wash their hands thirty times a day for fear of awful consequences if they do not. It pays a whole lot better than this type of compulsion, but it is no more heroic.”
    —Julie Burchill (b. 1960)

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