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
5-cube 5-cube In five-dimensional geometry, a 5-cube is a name for a five-dimensional hypercube with 32 vertices, 80 edges, 80 square faces, 40 cubic cells, and 10 tesseract 4-faces. It is represented by Schläfli symbol {4,3,3,3} or {4,3}, constructed as 3 tesseracts, {4,3,3}, around each cubic ridge. It can be called a penteract, a portmanteau of tesseract (the "4-cube") and "pente" for five (dimensions) in Greek. It can also be called a regular deca-5-tope or decateron, being a 5-dimensional polytope constructed from 10 regular facets. It is a part of an infinite hypercube family. The dual of a 5-cube is the