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
Truncated cube The truncated triangular trapezohedron is another polyhedron which can be formed from cube edge truncation. The "truncated cube", is second in a sequence of truncated hypercubes: In the mathematical field of graph theory, a truncated cubical graph is the graph of vertices and edges of the "truncated cube", one of the Archimedean solids. It has 24 vertices and 36 edges, and is a cubic Archimedean graph. Truncated cube In geometry, the truncated cube, or truncated hexahedron, is an Archimedean solid. It has 14 regular faces (6 octagonal and 8 triangular), 36 edges, and 24 vertices. If the truncated cube has