Type Theory
In type theory, a binary tree with nodes of type A is defined inductively as TA = μα. 1 + A × α × α.
Read more about this topic: Binary Tree
Famous quotes containing the words type and/or theory:
“They had supposed their formula was fixed.
They had obeyed instructions to devise
A type of cold, a type of hooded gaze.
But when the Negroes came they were perplexed.
These Negroes looked like men....”
—Gwendolyn Brooks (b. 1917)
“The things that will destroy America are prosperity-at-any- price, peace-at-any-price, safety-first instead of duty-first, the love of soft living, and the get-rich-quick theory of life.”
—Theodore Roosevelt (18581919)