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
Snub cube "snub cube", one of the Archimedean solids. It has 24 vertices and 60 edges, and is an Archimedean graph. Snub cube In geometry, the snub cube, or snub cuboctahedron, is an Archimedean solid with 38 faces: 6 squares and 32 equilateral triangles. It has 60 edges and 24 vertices. It is a chiral polyhedron, that is, it has two distinct forms, which are mirror images (or "enantiomorphs") of each other. The union of both forms is a compound of two snub cubes, and the convex hull of both sets of vertices is a truncated cuboctahedron. Kepler first named it in