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
Helicopter Cube Helicopter Cube The Helicopter Cube is a Rubik's Cube-like puzzle invented by Adam G. Cowan in 2005 and built in 2006. It is also in the shape of a cube. At first glance, the Helicopter Cube may seem like a combination of the 2x2x2 and the Skewb, but it actually cuts differently, and twists around cube edges rather than cube faces. The purpose of the puzzle is to scramble the colors, and then restore them back to their original state of a single color per face. The Helicopter Cube is made in the shape of a cube, cut into 8