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:

    “There is a limit to the application of democratic methods. You can inquire of all the passengers as to what type of car they like to ride in, but it is impossible to question them as to whether to apply the brakes when the train is at full speed and accident threatens.”
    —Leon Trotsky (1879–1940)

    “There never comes a point where a theory can be said to be true. The most that one can claim for any theory is that it has shared the successes of all its rivals and that it has passed at least one test which they have failed.”
    —A.J. (Alfred Jules)