Intensional Type Theory

Famous quotes containing the words type and/or theory:

“Only that type of story deserves to be called moral that shows us that one has the power within oneself to act, out of the conviction that there is something better, even against one’s own inclination.”
—Johann Wolfgang Von Goethe (1749–1832)

“every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.”
—Thomas Nagel (b. 1938)