Lambda cube are replaced by faces, as well as a dual representation as a dodecahedron, where the 12 edges are replaced by faces. Lambda cube In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Thierry Coquand's calculus of constructions, starting from the simply typed lambda calculus (written as λ→ in the cube diagram) as the vertex of a cube placed at the origin, and the calculus of constructions (higher-order dependently typed polymorphic lambda calculus; written as λPω in the diagram) as its diametrically opposite vertex. Each axis of the cube represents a new
Partial cube "Hamming labeling"; it represents an isometric embedding of the partial cube into a hypercube. was the first to study isometric embeddings of graphs into hypercubes. The graphs that admit such embeddings were characterized by and , and were later named partial cubes. A separate line of research on the same structures, in the terminology of families of sets rather than of hypercube labelings of graphs, was followed by and , among others. Every tree is a partial cube. For, suppose that a tree "T" has "m" edges, and number these edges (arbitrarily) from 0 to "m" − 1. Choose a