Binary Tree - Type Theory

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:

    “To be a real philosopher all that is necessary is to hate some one else’s type of thinking.”
    —William James (1842–1910)

    “The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.””
    —George Bernard Shaw (1856–1950)