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:

    “Are God and Nature then at strife,
    That Nature lends such evil dreams?
    So careful of the type she seems,
    So careless of the single life;”
    —Alfred Tennyson (1809–1892)

    “Hygiene is the corruption of medicine by morality. It is impossible to find a hygienest who does not debase his theory of the healthful with a theory of the virtuous.... The true aim of medicine is not to make men virtuous; it is to safeguard and rescue them from the consequences of their vices.”
    —H.L. (Henry Lewis)