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:
“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 ones own inclination.”
—Johann Wolfgang Von Goethe (17491832)
“Freud was a hero. He descended to the Underworld and met there stark terrors. He carried with him his theory as a Medusas head which turned these terrors to stone.”
—R.D. (Ronald David)