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
Prince Rupert's cube be passed through a hole made in another cube "of the same size" without splitting the cube into two pieces. If two points are placed on two adjacent edges of a unit cube, each at a distance of 3/4 from the point where the two edges meet, then the distance between the two points will be These two points, together with a second set of two points placed symmetrically on the opposite face of the cube, form the four vertices of a square that lies entirely within the unit cube. This square, extruded in both directions perpendicularly to itself, forms