Dependent Type Theory

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

“People who get through life dependent on other people’s possessions are always the first to lecture you on how little possessions count.”
—Ben Elton (b. 1959)

“To put it rather bluntly, I am not the type who wants to go back to the land; I am the type who wants to go back to the hotel.”
—Fran Lebowitz (b. 1951)

“The theory of truth is a series of truisms.”
—J.L. (John Langshaw)