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:

    “The perfect detective story cannot be written. The type of mind which can evolve the perfect problem is not the type of mind that can produce the artistic job of writing.”
    —Raymond Chandler (1888–1959)

    “There could be no fairer destiny for any physical theory than that it should point the way to a more comprehensive theory in which it lives on as a limiting case.”
    —Albert Einstein (1879–1955)