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 put it rather bluntly, I am not the type who wants to go back to the land; I am the type who wants to go back to the hotel.”
    —Fran Lebowitz (b. 1951)

    “The whole theory of modern education is radically unsound. Fortunately in England, at any rate, education produces no effect whatsoever. If it did, it would prove a serious danger to the upper classes, and probably lead to acts of violence in Grosvenor Square.”
    —Oscar Wilde (1854–1900)