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:

    “Music, in performance, is a type of sculpture. The air in the performance is sculpted into something.”
    —Frank Zappa (1940–1994)

    “No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
    —André Gide (1869–1951)