Intensional Type Theory

Famous quotes containing the words type and/or theory:

“The more characteristic American hero in the earlier day, and the more beloved type at all times, was not the hustler but the whittler.”
—Mark Sullivan (1874–1952)

“The whole theory of modern education is radically unsound. Fortunately in England, at any rate, education produces no effect whatsoever. If it did, it would prove a serious danger to the upper classes, and probably lead to acts of violence in Grosvenor Square.”
—Oscar Wilde (1854–1900)